Von dem Buch Model Checking Software 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%: María del Mar Gallardo; Pedro Merino: Model Checking Software (ISBN: 9783319941110) 2018, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
100%: María del Mar Gallardo; Pedro Merino: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings (ISBN: 9783319941103) in Deutsch, Broschiert.Nur diese Ausgabe anzeigen…
Model Checking Software - 11 Angebote vergleichen
Bester Preis: € 43,62 (vom 25.09.2019)1
Model Checking Software (2018)
EN NW EB DLISBN: 9783319941110 bzw. 3319941119, in Englisch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Australien, in-stock.
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully rev.
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully rev.
2
Model Checking Software (2018)
~EN NW EB DLISBN: 9783319941110 bzw. 3319941119, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Schweiz, Lagernd, zzgl. Versandkosten.
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. eBook.
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. eBook.
3
Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings (2018)
~EN NW EB DLISBN: 9783319941110 bzw. 3319941119, vermutlich in Englisch, Springer International Publishing, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Model Checking Software: This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software formal analysis for modeling languages, such as UML/state charts formal specification languages, temporal logic, design-by-contract model checking, automated theorem proving, including SAT and SMT verifying compilers abstraction and symbolic execution techniques and much more. Englisch, Ebook.
Model Checking Software: This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software formal analysis for modeling languages, such as UML/state charts formal specification languages, temporal logic, design-by-contract model checking, automated theorem proving, including SAT and SMT verifying compilers abstraction and symbolic execution techniques and much more. Englisch, Ebook.
5
Symbolbild
Model Checking Software
DE HC NWISBN: 9783319941103 bzw. 3319941100, in Deutsch, Springer, Berlin; Springer International Publishing, gebundenes Buch, neu.
Lieferung aus: Deutschland, Versandkostenfrei innerhalb von Deutschland.
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
Symbolbild
Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
DE PB NWISBN: 9783319941103 bzw. 3319941100, in Deutsch, Springer-Verlag Gmbh, Taschenbuch, neu.
Lieferung aus: Deutschland, 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
7
Model Checking Software
DE NWISBN: 9783319941110 bzw. 3319941119, in Deutsch, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien 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
8
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
DE PB NWISBN: 9783319941103 bzw. 3319941100, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, 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
Model Checking Software
DE NW EBISBN: 9783319941110 bzw. 3319941119, in Deutsch, Springer Nature, neu, E-Book.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lagernd.
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
10
Lade…