Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings: 12709 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Rigorous State-Based Methods: 8th International Conference,...
Foto dell'editore
Rigorous State-Based Methods (eng)
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 4 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo DQZ8TNPUYJ
Compra nuovo
EUR 54,23
Spedizione EUR 5,50
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings: 12709 (Lecture Notes in Computer Science, 12709)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783030775421
Compra nuovo
EUR 68,54
Spedizione EUR 17,75
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
Rigorous State-Based Methods
Editore:
Springer International Publishing Mai 2021, 2021
ISBN 10: 3030775429
ISBN 13: 9783030775421
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783030775421
Compra nuovo
EUR 64,19
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9?11, 2021, Proceedings (Theoretical Computer Science and General Issues)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Codice articolo 26388914024
Compra nuovo
EUR 86,19
Spedizione EUR 3,47
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Rigorous State-based Methods : 8th Inter
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo V9783030775421
Compra nuovo
EUR 80,72
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9?11, 2021, Proceedings (Theoretical Computer Science and General Issues)
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 391767223
Compra nuovo
EUR 87,23
Spedizione EUR 7,45
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9?11, 2021, Proceedings (Theoretical Computer Science and General Issues)
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND. Codice articolo 18388914018
Compra nuovo
EUR 87,39
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Rigorous State-based Methods: 8th International Conference, Abz 2021, Ulm, Germany, June 9-11, 2021, Proceedings
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 177 pages. 9.25x6.10x0.38 inches. In Stock. Codice articolo x-3030775429
Compra nuovo
EUR 89,98
Spedizione EUR 11,46
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Rigorous State-Based Methods
Editore:
Springer, Berlin|Springer International Publishing|Springer, 2021
ISBN 10: 3030775429
ISBN 13: 9783030775421
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Kartoniert / Broschiert. Condizione: 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. Codice articolo 469418913
Compra nuovo
EUR 57,15
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Rigorous State-based Methods : 8th Inter
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo V9783030775421
Compra nuovo
EUR 100,43
Spedizione EUR 9,12
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili