Verwandte Artikel zu Rigorous State-Based Methods: 8th International Conference,...
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings: 12709 (Theoretical Computer Science and General Issues) - Softcover
Inhaltsangabe
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic.
The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 61,18
EUR 3,41 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Rigorous State-Based Methods: 8th International Conference,...
Beispielbild für diese ISBN
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (Theoretical Computer Science and General Issues)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020029612
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (Theoretical Computer Science and General Issues)
Anbieter: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783030775421
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (Theoretical Computer Science and General Issues)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783030775421
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9?11, 2021, Proceedings (Theoretical Computer Science and General Issues)
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Bestandsnummer des Verkäufers 26388914024
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (Theoretical Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783030775421_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings: 12709 (Lecture Notes in Computer Science, 12709)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783030775421
Anzahl: 10 verfügbar
Foto des Verkäufers
Rigorous State-Based Methods
Verlag:
Springer International Publishing Mai 2021, 2021
ISBN 10: 3030775429
ISBN 13: 9783030775421
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 8th International Conference onRigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic.The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. 180 pp. Englisch. Bestandsnummer des Verkäufers 9783030775421
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9?11, 2021, Proceedings (Theoretical Computer Science and General Issues)
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Print on Demand. Bestandsnummer des Verkäufers 391767223
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9?11, 2021, Proceedings (Theoretical Computer Science and General Issues)
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND. Bestandsnummer des Verkäufers 18388914018
Anzahl: 4 verfügbar
Foto des Verkäufers
Rigorous State-Based Methods
ISBN 10: 3030775429
ISBN 13: 9783030775421
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. They deal with state-based and machine-based formal methods, mainly. Bestandsnummer des Verkäufers 469418913
Anzahl: Mehr als 20 verfügbar