Concurrency Specification and Programming is popular PDF and ePub book, written by Bernd-Holger Schlingloff in 2023-05-04, it is a fantastic choice for those who relish reading online the Technology & Engineering genre. Let's immerse ourselves in this engaging Technology & Engineering book by exploring the summary and details provided below. Remember, Concurrency Specification and Programming can be Read Online from any device for your convenience.
Concurrency Specification and Programming Book PDF Summary
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.
Detail Book of Concurrency Specification and Programming PDF
- Author : Bernd-Holger Schlingloff
- Release : 04 May 2023
- Publisher : Springer Nature
- ISBN : 9783031266515
- Genre : Technology & Engineering
- Total Page : 234 pages
- Language : English
- PDF File Size : 10,9 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Concurrency Specification and Programming by Bernd-Holger Schlingloff, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.
