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 (10142)
99,8% positive Bewertungen

Preis:

€ 53,49

(inkl. MwSt.)

Gratis 2-3 Tage Lieferung

Lieferung zwischen Di, 14. Mai und Mi, 15. 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

Alle ansehen

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

Gesundheit verboten - unheilbar war gestern von Andreas Kalcker (2017, Taschenbuch)
4.8 von 5 Sternen in 16 Produktbewertungen
EUR 26,95 Neu
EUR 15,00 Gebraucht
I care - PflegeExamen KOMPAKT (Taschenbuch, 2022)
5.0 von 5 Sternen in 3 Produktbewertungen
EUR 49,99 Neu
EUR 46,08 Gebraucht
Teleskopschlagstock und Mehrzweckeinsatzstock von Frank B. Metzner (2020, Taschenbuch)
Noch keine Bewertungen oder Rezensionen
EUR 24,80 Neu
---- Gebraucht
Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht
Die Bibel (2008, Leder)
5.0 von 5 Sternen in 3 Produktbewertungen
EUR 75,00 Neu
---- Gebraucht
Geheimsache Staatsangehörigkeit von Max von Frei (2017, Gebundene Ausgabe)
3.9 von 5 Sternen in 7 Produktbewertungen
EUR 21,00 Neu
EUR 18,89 Gebraucht
Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 12,00 Neu
EUR 8,53 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

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

Tangram Metalldose Schmidt Spiel Solospiel Kinderspiel Chinesisches #5003796
EUR 5,90
Preistendenz: EUR 6,92
Toni's Mealprep Küche ~ Antonia Elena Zimmermann ~ 9783949458910
EUR 25,00
Preistendenz: EUR 25,31
Carissa Broadbent / The Serpent and the Wings of Night (Crowns ...9783551585516
EUR 18,00
Preistendenz: EUR 18,24
Brian W. Kernighan (u. a.) | The C Programming Language | Taschenbuch | Englisch
EUR 39,95
Preistendenz: EUR 47,54
Crescent City 01 - Wenn das Dunkel erwacht Sarah J. Maas Buch 928 S. Deutsch
EUR 24,00
Preistendenz: EUR 31,72
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,58

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

Gesundheit verboten - unheilbar war gestern von Andreas Kalcker (2017, Taschenbuch)

I care - PflegeExamen KOMPAKT (Taschenbuch, 2022)

Teleskopschlagstock und Mehrzweckeinsatzstock von Frank B. Metzner (2020, Taschenbuch)

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

Die Bibel (2008, Leder)

Geheimsache Staatsangehörigkeit von Max von Frei (2017, Gebundene Ausgabe)

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)

Hier sparen: Studium & Erwachsenenbildung

Tangram Metalldose Schmidt Spiel Solospiel Kinderspiel Chinesisches #5003796

Toni's Mealprep Küche ~ Antonia Elena Zimmermann ~ 9783949458910

Carissa Broadbent / The Serpent and the Wings of Night (Crowns ...9783551585516

Brian W. Kernighan (u. a.) | The C Programming Language | Taschenbuch | Englisch

Crescent City 01 - Wenn das Dunkel erwacht Sarah J. Maas Buch 928 S. Deutsch

Einfaches Kassenbuch | Einnahmen und Ausgaben

Auch interessant

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

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

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

Frederick-the-Great-Taschenbuch - Sachbuch Bücher über Militärgeschichte

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

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