Rigorous State-Based Methods: 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings: 15728 - Brossura
Sinossi
This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.
The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full paper length.
The ABZ conference series is dedicated to the cross-fertilization of state-based and machine-based formal methods. Abstract State Machines (ASM), Alloy, B, TLA, VDM, and Z are examples of these methods. They share a common conceptual foundation and are widely used in both academia and industry for the rigorous design and analysis of hardware and software systems. The ABZ conferences aim to be a forum for the vital exchange of knowledge and experience among the research communities around different formal methods.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Rigorous State-Based Methods: 11th International Conference,...
Foto dell'editore
Rigorous State-Based Methods : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 51064930-n
Compra nuovo
EUR 142,86
Spedizione EUR 2,31
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Rigorous State-Based Methods (Paperback)
Editore:
Springer International Publishing AG, Cham, 2025
ISBN 10: 3031945328
ISBN 13: 9783031945328
Nuovo
Paperback
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 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Duesseldorf, Germany, during June 1013, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full paper length. The ABZ conference series is dedicated to the cross-fertilization of state-based and machine-based formal methods. Abstract State Machines (ASM), Alloy, B, TLA, VDM, and Z are examples of these methods. They share a common conceptual foundation and are widely used in both academia and industry for the rigorous design and analysis of hardware and software systems. The ABZ conferences aim to be a forum for the vital exchange of knowledge and experience among the research communities around different formal methods. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783031945328
Compra nuovo
EUR 145,25
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Rigorous State-Based Methods: 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings
Editore:
Springer-Nature New York Inc, 2025
ISBN 10: 3031945328
ISBN 13: 9783031945328
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 381 pages. 9.25x6.10x9.21 inches. In Stock. This item is printed on demand. Codice articolo __3031945328
Compra nuovo
EUR 131,49
Spedizione EUR 14,51
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 : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 51064930-n
Compra nuovo
EUR 137,44
Spedizione EUR 17,41
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 : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, 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 51064930
Compra usato
EUR 154,63
Spedizione EUR 2,31
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Rigorous State-Based Methods
Editore:
Springer, Berlin, Springer Nature Switzerland, Springer, 2025
ISBN 10: 3031945328
ISBN 13: 9783031945328
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 the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10 13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full paper length.The ABZ conference series is dedicated to the cross-fertilization of state-based and machine-based formal methods. Abstract State Machines (ASM), Alloy, B, TLA, VDM, and Z are examples of these methods. They share a common conceptual foundation and are widely used in both academia and industry for the rigorous design and analysis of hardware and software systems. The ABZ conferences aim to be a forum for the vital exchange of knowledge and experience among the research communities around different formal methods. 360 pp. Englisch. Codice articolo 9783031945328
Compra nuovo
EUR 139,09
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 (Paperback)
Editore:
Springer International Publishing AG, Cham, 2025
ISBN 10: 3031945328
ISBN 13: 9783031945328
Nuovo
Paperback
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Duesseldorf, Germany, during June 1013, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full paper length. The ABZ conference series is dedicated to the cross-fertilization of state-based and machine-based formal methods. Abstract State Machines (ASM), Alloy, B, TLA, VDM, and Z are examples of these methods. They share a common conceptual foundation and are widely used in both academia and industry for the rigorous design and analysis of hardware and software systems. The ABZ conferences aim to be a forum for the vital exchange of knowledge and experience among the research communities around different formal methods. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9783031945328
Compra nuovo
EUR 123,71
Spedizione EUR 42,94
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 : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 51064930
Compra usato
EUR 155,63
Spedizione EUR 17,41
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Rigorous State-Based Methods
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Codice articolo 2381757431
Compra nuovo
EUR 128,93
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Rigorous State-Based Methods | 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Rigorous State-Based Methods | 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings | Michael Leuschel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxi | Englisch | 2025 | Springer | EAN 9783031945328 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 133930284
Compra nuovo
EUR 122,10
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili