Von dem Buch Formal Methods: Foundations and Applications 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: Márcio Cornélio, Herausgeber: Bill Roscoe: Formal Methods: Foundations and Applications (ISBN: 9783319294735) Erstausgabe, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
57%: Cornelio, Marcio (Editor)/ Roscoe, Bill (Editor): Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science) (ISBN: 9783319294728) 2016, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
Formal Methods: Foundations and Applications - 12 Angebote vergleichen
Bester Preis: Fr. 24.33 (€ 24.88)¹ (vom 20.04.2019)1
Formal Methods: Foundations and Applications (2015)
~EN NW EB DLISBN: 9783319294735 bzw. 3319294733, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Lagernd, zzgl. Versandkosten.
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation. eBook.
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation. eBook.
2
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science) (2016)
EN NW FE EB DLISBN: 9783319294735 bzw. 3319294733, in Englisch, 195 Seiten, Springer, neu, Erstausgabe, E-Book, elektronischer Download.
Lieferung aus: Deutschland, E-Book zum Download, Versandkostenfrei.
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation., Kindle Edition, Ausgabe: 1st ed. 2016, Format: Kindle eBook, Label: Springer, Springer, Produktgruppe: eBooks, Publiziert: 2016-01-23, Freigegeben: 2016-01-23, Studio: Springer.
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation., Kindle Edition, Ausgabe: 1st ed. 2016, Format: Kindle eBook, Label: Springer, Springer, Produktgruppe: eBooks, Publiziert: 2016-01-23, Freigegeben: 2016-01-23, Studio: Springer.
3
Formal Methods: Foundations and Applications (2016)
~EN NW EB DLISBN: 9783319294735 bzw. 3319294733, vermutlich in Englisch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Frankreich, in-stock.
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefully reviewed and.
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefully reviewed and.
4
Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (2015)
~EN NW EB DLISBN: 9783319294735 bzw. 3319294733, vermutlich in Englisch, Springer International Publishing, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Formal Methods: Foundations and Applications: This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking languages and semantics refinement andverification testing and evaluation. Englisch, Ebook.
Formal Methods: Foundations and Applications: This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking languages and semantics refinement andverification testing and evaluation. Englisch, Ebook.
5
Formal Methods, Foundations and Applications: 18th Brazilian Symposium, SBNF, 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings: 2016 (2016)
DE PB NWISBN: 9783319294728 bzw. 3319294725, in Deutsch, Springer International Publishing AG, Taschenbuch, neu.
Lieferung aus: Niederlande, 4-8 werkdagen.
Books2Anywhere.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Books2Anywhere.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Formal Methods: Foundations and Applications (2015)
~EN PB NWISBN: 9783319294735 bzw. 3319294733, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Symbolbild
Formal Methods: Foundations and Applications. 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (2016)
DE PB NWISBN: 9783319294728 bzw. 3319294725, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, GLOS, United Kingdom.
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
Symbolbild
Formal Methods: Foundations and Applications (2016)
DE PB NWISBN: 9783319294728 bzw. 3319294725, in Deutsch, Springer-Verlag Gmbh Feb 2016, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, sparbuchladen [52968077], Göttingen, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, sparbuchladen [52968077], Göttingen, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Formal Methods: Foundations and Applications als eBook von (2015)
DE NWISBN: 9783319294735 bzw. 3319294733, 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
Lade…