Kategorien
Handverlesen
Bücher über Grönland
Pinguin-Bücher
Neue Comics und Graphic Novels
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (3 Treffer)
Filter schließen (3 Treffer)
Stichwort
Alle Stichworte
Softwaretesting (3)
Modelchecking (2)
Algorithms (1)
Automata (1)
Context-Freelanguages (1)
Designpatterns (1)
Finite-Statemachines (1)
Formalmethods (1)
Formaltestingmethods (1)
Hardwareverification (1)
Hybridsystems (1)
Java (1)
Model-Basedtesting (1)
Reactivesystems (1)
Simulation (1)
Softwarearchitecture (1)
Softwaredevelopment (1)
Softwareengineering (1)
Softwareverification (1)
Symbolictechniques (1)
Systemsverification (1)
Uml (1)
Sachbuch
Schlagwort Sachbuch
Compiler und Übersetzer (3)
Sprache
Sprachen
Englisch (3)
Buchform
Formate
Taschenbuch (3)
Nur mit
-Notizen
Auf Lager
ähnliche Begriffe
Standardsortierung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
eng
Martin P. Robillard
Introduction to Software Design with Java
Springer
2026
Taschenbuch
312 Seiten
58,84
€
Auf Lager
eng
Computer Aided Verification
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Springer
2011
Taschenbuch
784 Seiten
53,49
€
Auf Lager
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, U…
eng
Model-Based Testing of Reactive Systems
Advanced Lectures
Springer
2005
Taschenbuch
652 Seiten
53,49
€
Auf Lager