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)
5 Angebote vergleichen
Bester Preis: € 68,48 (vom 13.06.2016)1
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.
2
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.
3
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
4
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
5
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
Lade…