Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings: 14010 - Brossura
Sinossi
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023.
The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 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: 9th International Conference,...
Foto dell'editore
Rigorous State-Based Methods : 9th International Conference, Abz 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 45897703-n
Compra nuovo
EUR 83,59
Spedizione EUR 2,31
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Rigorous State-Based Methods (Paperback)
Editore:
Springer International Publishing AG, Cham, 2023
ISBN 10: 3031331621
ISBN 13: 9783031331626
Nuovo
Paperback
Prima edizione
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783031331626
Compra nuovo
EUR 85,97
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Rigorous State-Based Methods: 9th International Conference, Abz 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 393 pages. 9.25x6.10x0.81 inches. In Stock. This item is printed on demand. Codice articolo __3031331621
Compra nuovo
EUR 78,36
Spedizione EUR 14,63
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783031331626_new
Compra nuovo
EUR 79,77
Spedizione EUR 14,02
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Rigorous State-Based Methods : 9th International Conference, Abz 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 45897703
Compra usato
EUR 94,76
Spedizione EUR 2,31
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Rigorous State-Based Methods
Editore:
Springer Nature Switzerland Mai 2023, 2023
ISBN 10: 3031331621
ISBN 13: 9783031331626
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 refereed proceedings of the9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023.The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. 396 pp. Englisch. Codice articolo 9783031331626
Compra nuovo
EUR 80,24
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Rigorous State-Based Methods
Editore:
Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10: 3031331621
ISBN 13: 9783031331626
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 855414881
Compra nuovo
EUR 70,33
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: 9th International Conference, ABZ 2023, Nancy, France, May 30?June 2, 2023, Proceedings (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 396. Codice articolo 26398551427
Compra nuovo
EUR 116,38
Spedizione EUR 3,49
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30?June 2, 2023, Proceedings (Lecture Notes in Computer Science)
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 396. Codice articolo 397858396
Compra nuovo
EUR 119,67
Spedizione EUR 7,61
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: 9th International Conference, ABZ 2023, Nancy, France, May 30?June 2, 2023, Proceedings (Lecture Notes in Computer Science)
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 396. Codice articolo 18398551433
Compra nuovo
EUR 119,83
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili