Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01650641
Price: 53.79 EUR
Availability: InStock
Author: Zhiming Liu
ISBN: 9783642047602

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Zhiming Liu

Anders P. Ravn

Sprache

Englisch

Buch Broschur

Libristo-Code: 01650641

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2009

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for... Vollständige Beschreibung

Libristo-Code: 01650641

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Vitae Paparum Avenionensium V3 (1921) Etienne Baluze

Broschur

45.59 €

#dkinfografik. Management einfach erklärt Alexandra Black

Hardcover

19.95 €

Ouroboros Joel Gissy

Broschur

6.99 €

uomo blu e le rose. Antoine de Saint-Exupéry ad Alghero Savina Dolores Massa

Hardcover

31.09 €

Adventní kalendář – Minecraft

Hardcover

26.59 €

The Call of the Wild (Spanish Edition) / La llamada de lo Salvaje Jack London

Hardcover

13.69 €

Le Petit livre des proverbes, 2e éd. Sylvie H. Brunet

Broschur

6.39 €

Пересвет Виктор Поротников

Hardcover

18.29 €

Arcobaleni Yasunari Kawabata

Broschur

16.29 €

Serie estampar con selllos nº 1. CREAR ORIGINALES SELLOS CON TACOS DE MADERA Y G HEIKE ROLAND

Broschur

7.49 €

Graues Meer und blaue Sonnen Nathan Jaeger

Broschur

12.79 €

Terradentro XOSE BENITO REZA

Broschur

24.49 €

Musik-Stars - Grundwissen 3./4. Schuljahr - Übungsheft mit Lösungen und Audio-CD Solveig Wezel

Broschur

12.79 €

Obrázková němčina 5 jídlo Petr Kupka

Buch

0.99 €

Inklusion und Exklusion in der Sozialen Arbeit Roland Merten

Broschur

65.29 €

Contemporary Sculpture II : worked stone Inez Gitzinger-Albrecht

Broschur

30.90 €

Mito del Trabajo En Equipo Eugenio Ramírez

Broschur

54.99 €

(ADHS) bei arabischen Kindern im Grundschulalter in Berlin Hanan Lattouf

Broschur

69.90 €

Kooperation in Der Erwachsenenbildung: Determinanten, Auspr gungen Und Leistung Elvira Helmer

Broschur

55.29 €

Hindi-Großstadtgeschichten, m. MP3-CD Hannelore Lötzke

Broschur

19.90 €

Georgische Verbtabellen Steffi Chotiwari-Jünger

Broschur

22.90 €

La femme de trente ans./Die Drau von dreissig Jahren. German Honoré de Balzac

Hardcover

22.90 €

Matematika pro 5. ročník ZŠ 2.díl Jaroslava Justová

Broschur

3.09 €

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. §The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. §The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automated Technology for Verification and Analysis

Autor Zhiming Liu, Anders P. Ravn

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2009

Anzahl der Seiten 414

EAN 9783642047602

ISBN 3642047602

Libristo-Code 01650641

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 652

Abmessungen 155 x 235 x 24

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Decision Making in Radiation Oncology Jiade J. Lu

Hardcover

243.19 €

Design Characteristics of Virtual Learning Environments Daniel Müller

Broschur

53.79 €

SUPERCLASS David Rothkopf

Broschur

23.49 €

Bosnia's Paralysed Peace Christopher Bennett

Broschur

26.59 €

Cone Penetration Testing in Geotechnical Practice P.K. Robertson

Hardcover

563.59 €

Security, Development and the Fragile State Yiagadeesen Samy

Hardcover

245.99 €

Defiance: Fall of an Empire Tom Ryker

Broschur

19.09 €

Price Behaviour of Major Crops in Bangladesh: An Empirical Analysis Shakila Salam

Broschur

63.39 €

Historical Notices of the Edifice Called the King's Manor, Situate Near the Walls of the City of York. [an Offprint from the Twenty-Ninth Report of th Anthony Buckle

Broschur

14.89 €