This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 Ph D symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
€70.62
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng EPUB ● ISBN 9783030775438 ● Biên tập viên Dominique Mery & Alexander Raschke ● Nhà xuất bản Springer International Publishing ● Được phát hành 2021 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 8033294 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
74.462 Ebooks trong thể loại này
