Kính lúp
Trình tải tìm kiếm

Bernd-Holger Schlingloff & Andrzej Skowron 
Concurrency, Specification and Programming 
Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P’21), Berlin, Germany

Ủng hộ
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques.Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.
€175.12
phương thức thanh toán
Buy this ebook and get 1 more FREE!
Ngôn ngữ Anh ● định dạng EPUB ● ISBN 9783031266515 ● Biên tập viên Bernd-Holger Schlingloff & Andrzej Skowron ● Nhà xuất bản Springer International Publishing ● Được phát hành 2023 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 9045697 ● 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

16.115 Ebooks trong thể loại này