Von dem Buch Abstract State Machines, Alloy, B, TLA, VDM, and Z haben wir 5 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%: Michael Butler; Alexander Raschke; Thai Son Hoang; Klaus Reichl: Abstract State Machines, Alloy, B, TLA, VDM, and Z (ISBN: 9783319912714) 2018, Springer Nature, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
59%: Michael Butler; Alexander Raschke; Thai Son Hoang; Klaus Reichl: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (ISBN: 9783319912707) 2016, Springer International Publishing, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
58%: Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 58, 2018, Proceedings (Lecture Notes in Computer Science) (ISBN: 2940034001155) Darmstadt, Otto Reichl, in Deutsch, auch als eBook.Nur diese Ausgabe anzeigen…
44%: Herausgegeben von Butler, Michael Schewe, Klaus-Dieter Mashkoor, Atif Biro, Miklos: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science) (ISBN: 9783319335995) 2016, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
30%: Atif Mashkoor, Klaus-Dieter Schewe, Michael Butler, Miklos Biro: Abstract State Machines, Alloy, B, TLA, VDM, and Z (ISBN: 9783319336008) 2016, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 18 Angebote vergleichen
Bester Preis: Fr. 53.41 (€ 54.73)¹ (vom 01.06.2018)1
Abstract State Machines, Alloy, B, TLA, VDM, and Z (2018)
~EN NW EB DLISBN: 9783319912714 bzw. 3319912712, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Lagernd.
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. eBook.
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. eBook.
2
Abstract State Machines, Alloy, B, TLA, VDM, and Z, 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (2016)
DE NW EBISBN: 9783319336008 bzw. 3319336002, in Deutsch, Springer, neu, E-Book.
Lieferung aus: Niederlande, Direct beschikbaar.
bol.com.
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. Productinformatie:Taal: Engels;Formaat: ePub met kopieerbeveiliging (DRM) van Adobe;Kopieerrechten: Het kopiëren van (delen van) de pagina's is niet toegestaan ;Geschikt voor: Alle e-readers te koop bij bol.com (of compatible met Adobe DRM). Telefoons/tablets met Google Android (1.6 of hoger) voorzien van bol.com boekenbol app. PC en Mac met Adobe reader software;ISBN10: 3319336002;ISBN13: 9783319336008; Engels | Ebook.
bol.com.
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. Productinformatie:Taal: Engels;Formaat: ePub met kopieerbeveiliging (DRM) van Adobe;Kopieerrechten: Het kopiëren van (delen van) de pagina's is niet toegestaan ;Geschikt voor: Alle e-readers te koop bij bol.com (of compatible met Adobe DRM). Telefoons/tablets met Google Android (1.6 of hoger) voorzien van bol.com boekenbol app. PC en Mac met Adobe reader software;ISBN10: 3319336002;ISBN13: 9783319336008; Engels | Ebook.
3
Abstract State Machines, Alloy, B, TLA, VDM, and Z
DE PB NWISBN: 9783319335995 bzw. 3319335995, in Deutsch, Springer, Berlin Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. 1st ed. 2016. 2016. xxi, 426 S. 143 SW-Abb. 235 mm Sofort lieferbar, Softcover, Neuware.
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. 1st ed. 2016. 2016. xxi, 426 S. 143 SW-Abb. 235 mm Sofort lieferbar, Softcover, Neuware.
4
Abstract State Machines, Alloy, B, TLA, VDM, and Z (2016)
DE PB NWISBN: 9783319336008 bzw. 3319336002, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Abstract State Machines, Alloy, B, TLA, VDM, and Z ab 71.49 € als pdf eBook: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,.
5
Abstract State Machines, Alloy, B, TLA, VDM, and Z (2016)
DE PB NWISBN: 9783319335995 bzw. 3319335995, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Sparbuchladen, [3602074].
Neuware - This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. -, Taschenbuch, Neuware, 236x154x27 mm, 701g.
Von Händler/Antiquariat, Sparbuchladen, [3602074].
Neuware - This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. -, Taschenbuch, Neuware, 236x154x27 mm, 701g.
6
Abstract State Machines, Alloy, B, TLA, VDM, and Z (2016)
DE PB NWISBN: 9783319335995 bzw. 3319335995, in Deutsch, Springer-Verlag Gmbh Jun 2016, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Agrios-Buch [57449362], Bergisch Gladbach, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Agrios-Buch [57449362], Bergisch Gladbach, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Abstract State Machines, Alloy, B, TLA, VDM, and Z (2016)
DE PB NWISBN: 9783319335995 bzw. 3319335995, in Deutsch, Springer-Verlag Gmbh Jun 2016, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Rheinberg-Buch [53870650], Bergisch Gladbach, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Rheinberg-Buch [53870650], Bergisch Gladbach, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Abstract State Machines, Alloy, B, TLA, VDM, and Z (2016)
DE PB NWISBN: 9783319335995 bzw. 3319335995, in Deutsch, Springer-Verlag Gmbh Jun 2016, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Symbolbild
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (2016)
DE PB NWISBN: 9783319912707 bzw. 3319912704, 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
10
Abstract State Machines, Alloy, B, TLA, VDM, and Z (2016)
DE NW EB DLISBN: 9783319336008 bzw. 3319336002, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, 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
Lade…