Der ausgewählte Artikel ist nicht mehr verfügbar, aber wir haben etwas Ähnliches gefunden.

Bild 1 von 1

Standardbild

Tools and Algorithms for the Construction and Analysis of Systems | Buch | 97836 - Bild 1 von 1

Tools and Algorithms for the Construction and Analysis of Systems von Erika Abraham (2014, Taschenbuch)

Schreiben Sie die ersteRezension.

KreGa-Onlinehandel (10289)
99,8% positive Bewertungen

Preis:

€ 53,49

(inkl. MwSt.)

Kostenloser Versand

Lieferung ca. Mi, 29. Mai - Do, 30. Mai

Rücknahmen:

1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Alle Details ansehen

Über dieses Produkt

Produktinformation

This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions. In addition the book contains one invited contribution. The papers are organized in topical sections named: decision procedures and their application in analysis; complexity and termination analysis; modeling and model checking discrete systems; timed and hybrid systems; monitoring, fault detection and identification; competition on software verification; specifying and checking linear time properties; synthesis and learning; quantum and probabilistic systems; as well as tool demonstrations and case studies.

Produktkennzeichnungen

Herausgeber
Erika Abraham, Klaus Havelund
ISBN-10
364254861x
ISBN-13
9783642548611
eBay Product ID (ePID)
182655485

Produkt Hauptmerkmale

Produktart
Lehrbuch
Sprache
Englisch
Anzahl der Seiten
672 Seiten
Verlag
Springer Berlin Heidelberg, Springer Berlin
Publikationsname
Tools And Algorithms For The Construction And Analysis of Systems
Autor
Erika Abraham, Klaus Havelund
Format
Taschenbuch
Erscheinungsjahr
2014

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Paperback
Item Length
23cm
Item Height
3cm
Item Width
15cm
Nummer Innerhalb der Serie
8413
Item Weight
1kg
Buchreihe
Theoretical Computer Science And General Issues

Alle Angebote für dieses Produkt

Artikel 1 Tools and Algorithms for the Construction and Analysis of Systems | Buch | 97836
EUR 53,49
Kostenloser Versand
Artikel 2 Tools and Algorithms for the Construction and Analysis of Systems 20th Inte 2497
EUR 53,49
+EUR 2,94 Versand

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 14,94 Gebraucht
Deutsche Auszeichnungen von Volker A. Behr (2014, Taschenbuch)
4.0 von 5 Sternen in 1 Produktbewertungen
EUR 12,00 Neu
EUR 8,75 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

Schmidt Spiele Tangram
EUR 5,55
Preistendenz: EUR 6,87
Crescent City - zur Auswahl
EUR 24,00
Preistendenz: EUR 31,48
🆕️HAN Croco Lernkartei 📚Karteibox A7 In Orange 🟠 inkl. 100 Karten✅
EUR 12,95
Preistendenz: EUR 13,13
Qwixx Deluxe DE
EUR 18,30
Preistendenz: EUR 20,09
Alexander Dugin | Das Grosse Erwachen gegen den Great Reset | Taschenbuch (2022)
EUR 9,95
Preistendenz: EUR 11,12
Das zerbrochene Haus. Eine Jugend in Deutschland Horst Krüger
EUR 15,00
Preistendenz: EUR 15,95

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant

Stöbern in Kategorien

Bild 1 von 1

Tools and Algorithms for the Construction and Analysis of Systems von Erika Abraham (2014, Taschenbuch)

Über dieses Produkt

Produktinformation

Produktkennzeichnungen

Produkt Hauptmerkmale

Zusätzliche Produkteigenschaften

Alle Angebote für dieses Produkt

Artikel 1 Tools and Algorithms for the Construction and Analysis of Systems | Buch | 97836

Artikel 2 Tools and Algorithms for the Construction and Analysis of Systems 20th Inte 2497

Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)

Deutsche Auszeichnungen von Volker A. Behr (2014, Taschenbuch)

Hier sparen: Studium & Erwachsenenbildung

Schmidt Spiele Tangram

Crescent City - zur Auswahl

🆕️HAN Croco Lernkartei 📚Karteibox A7 In Orange 🟠 inkl. 100 Karten✅

Qwixx Deluxe DE

Alexander Dugin | Das Grosse Erwachen gegen den Great Reset | Taschenbuch (2022)

Das zerbrochene Haus. Eine Jugend in Deutschland Horst Krüger

Auch interessant

Frederick-the-Great-Taschenbuch - Sachbuch Bücher

Shades-of-Grey-Taschenbuch - Belletristik-Bücher

Masters of the Universe Jugendliche Hörbücher und Hörspiele

Belletristik-Bücher im Taschenbuch-Format The Walking Dead

Masters of the Universe Jugendliche Hörbücher und Hörspiele

Masters-of-the-Universe - Europa-Editions Hörbücher und Hörspiele