Von dem Buch Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Lecture Notes in Computer Science) haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Herausgeber: Bernd Fischer, Herausgeber: Jaco Geldenhuys: Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Lecture Notes in Computer Science) (ISBN: 9783319234045) 2015, Erstausgabe, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
82%: Bernd Fischer: Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (ISBN: 9783319234038) 2015, in Deutsch, Taschenbuch.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: Fr. 41.88 (€ 42.79)¹ (vom 10.12.2023)1
Model Checking Software (2015)
DE PB NWISBN: 9783319234038 bzw. 331923403X, in Deutsch, Taschenbuch, neu.
Lieferung aus: Deutschland, Next Day, Versandkostenfrei.
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.
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.
2
Model Checking Software (2015)
~EN NW EB DLISBN: 9783319234045 bzw. 3319234048, vermutlich in Englisch, Springer Nature, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
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.
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.
3
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
EN NW FE EB DLISBN: 9783319234045 bzw. 3319234048, in Englisch, 319 Seiten, Springer, neu, Erstausgabe, E-Book, elektronischer Download.
Lieferung aus: Deutschland, E-Book zum Download, Versandkostenfrei.
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.
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.
4
Model Checking Software (2015)
DE NWISBN: 9783319234045 bzw. 3319234048, in Deutsch, neu.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Model Checking Software als eBook von (2015)
DE NWISBN: 9783319234045 bzw. 3319234048, in Deutsch, Springer International Publishing, neu.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (2015)
DE NWISBN: 9783319234038 bzw. 331923403X, in Deutsch, Springer-Verlag/Sci-Tech/Trade, neu.
Lieferung aus: Kanada, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
DE PB NWISBN: 9783319234038 bzw. 331923403X, in Deutsch, Springer International Publishing, Springer International Publishing, Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Free Shipping on eligible orders over $25, in-stock.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Model Checking Software (2015)
DE PB NWISBN: 9783319234038 bzw. 331923403X, in Deutsch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Japan, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
/ Geldenhuys | Model Checking Software | Springer | 2015 | Tagungsband
DE NWISBN: 9783319234038 bzw. 331923403X, in Deutsch, Springer Verlag, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Model Checking Software (2015)
DE NWISBN: 9783319234038 bzw. 331923403X, in Deutsch, neu.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Lieferzeit: 11 Tage.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…