Rigorous State-Based Methods
Rigorous State-Based Methods
Buch
- 10th International Conference, ABZ 2024, Bergamo, Italy, June 25¿28, 2024, Proceedings
- Herausgeber: Silvia Bonfanti, Angelo Gargantini, Patrizia Scandurra, Elvinia Riccobene, Michael Leuschel
- Springer Nature Switzerland, 06/2024
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9783031637896
- Bestellnummer: 11901905
- Umfang: 416 Seiten
- Auflage: 2024
- Gewicht: 628 g
- Maße: 235 x 155 mm
- Stärke: 23 mm
- Erscheinungstermin: 21.6.2024
- Serie: Lecture Notes in Computer Science - Band 14759
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25 28, 2024.The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.
Mehr von Lecture Notes i...
![Graph Transformation, Buch](https://wom.de/image/h90/front/0/9783031642845.jpg)
Jens Kosiol
Graph Transformation
Buch
EUR 63,51*
![Progress in Cryptology - AFRICACRYPT 2024, Buch](https://wom.de/image/h90/front/0/9783031643804.jpg)
Christophe Petit
Progress in Cryptology - AFRICACRYPT 2024
Buch
EUR 81,04*
![Design for Equality and Justice, Buch](https://wom.de/image/h90/front/0/9783031616877.jpg)
Anna Bramwell-Dicks
Design for Equality and Justice
Buch
EUR 72,27*
![Computers Helping People with Special Needs, Buch](https://wom.de/image/h90/front/0/9783031628481.jpg)
Klaus Miesenberger
Computers Helping People with Special Needs
Buch
EUR 76,66*
![Data Augmentation, Labelling, and Imperfections, Buch](https://wom.de/image/h90/front/0/9783031581700.jpg)
Yuan Xue
Data Augmentation, Labelling, and Imperfections
Buch
EUR 54,75*
![Rigorous State-Based Methods, Buch](https://wom.de/image/w468/front/0/9783031637896.jpg)
Rigorous State-Based Methods
EUR 72,27*