Rigorous State-Based Methods

Rigorous State-Based Methods

by Silvia BonfantiAngelo Gargantini Michael Leuschel and others
Epub (Kobo), Epub (Adobe)
Publication Date: 22/07/2024

Share This eBook:

  $116.99

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.

ISBN:
9783031637902
9783031637902
Category:
Computer science
Format:
Epub (Kobo), Epub (Adobe)
Publication Date:
22-07-2024
Language:
English
Publisher:
Springer Nature Switzerland

This item is delivered digitally

Reviews

Be the first to review Rigorous State-Based Methods.