Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Lecture Notes in Computer Science)
10 Angebote vergleichen
Bester Preis: € 42,79 (vom 10.12.2023)Model Checking Software (2015)
ISBN: 9783319234038 bzw. 331923403X, in Deutsch, Taschenbuch, neu.
Erscheinungsdatum: 03.09.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Model Checking Software, Titelzusatz: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, Redaktion: Fischer, Bernd // Geldenhuys, Jaco, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Programmiersprachen // Compiler // Übersetzer // COMPUTERS // Software Development & Engineering // General // Programmier // und Skriptsprachen // allgemein // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 319, Abbildungen: Bibliographie, Herkunft: NIEDERLANDE (NL), Reihe: Lecture Notes in Computer Science (Nr. 9232) // Theoretical Computer Science and General Issues, Informationen: Book, Gewicht: 536 gr, Verkäufer: averdo.
Model Checking Software (2015)
ISBN: 9783319234045 bzw. 3319234048, vermutlich in Englisch, Springer Nature, neu, E-Book, elektronischer Download.
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification. eBook.
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
ISBN: 9783319234045 bzw. 3319234048, in Englisch, 319 Seiten, Springer, neu, Erstausgabe, E-Book, elektronischer Download.
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification. Kindle Edition, Ausgabe: 1st ed. 2015, Format: Kindle eBook, Label: Springer, Springer, Produktgruppe: eBooks, Publiziert: 2015-08-26, Freigegeben: 2015-08-26, Studio: Springer.
Model Checking Software (2015)
ISBN: 9783319234045 bzw. 3319234048, in Deutsch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Model Checking Software als eBook von (2015)
ISBN: 9783319234045 bzw. 3319234048, in Deutsch, Springer International Publishing, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (2015)
ISBN: 9783319234038 bzw. 331923403X, in Deutsch, Springer-Verlag/Sci-Tech/Trade, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
ISBN: 9783319234038 bzw. 331923403X, in Deutsch, Springer International Publishing, Springer International Publishing, Springer International Publishing, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Model Checking Software (2015)
ISBN: 9783319234038 bzw. 331923403X, in Deutsch, Springer Shop, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
/ Geldenhuys | Model Checking Software | Springer | 2015 | Tagungsband
ISBN: 9783319234038 bzw. 331923403X, in Deutsch, Springer Verlag, neu.
Model Checking Software (2015)
ISBN: 9783319234038 bzw. 331923403X, in Deutsch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen