This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
€101.79
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 9783031331701 ● Biên tập viên Swarat Chaudhuri & Kristin Yvonne Rozier ● Nhà xuất bản Springer Nature Switzerland ● Được phát hành 2023 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 9050944 ● 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
3.693 Ebooks trong thể loại này
