Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
-
- US$64.99
-
- US$64.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.
장르
컴퓨터 및 인터넷
출시일
2024년
6월 20일
언어
EN
영어
길이
413
페이지
출판사
Springer Nature Switzerland
판매자
Springer Nature B.V.
크기
56.7
MB