{"product_id":"concurrency-specification-and-programming-revised-selected-papers-from-the-29th-international-workshop-on-concurrency-specification-and-programming-csp21-berlin-germany-9783031266508","title":"Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS\u0026P'21), Berlin, Germany","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003e\n\u003cbr\u003eThe book presents novel approaches to the formal specification, mathematical models, and programming and verification concepts for concurrent and parallel systems, with a focus on artificial intelligence and machine learning techniques. It covers topics such as requirements formalization, parsing, and granular computing, and their applications in various areas. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 231 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 05 May 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eThis book offers innovative methods for formally specifying concurrent and parallel systems, mathematical models for describing these systems, and programming and verification techniques for their implementation. It emphasizes artificial intelligence and machine learning techniques. The book comprises nine independent chapters, which were selected from the 29th International Workshop on Concurrency, Specification, and Programming (CS\u0026amp;P 2021) held in Berlin, Germany. These chapters cover various formal approaches, including requirements formalization, parsing, and granular computing, and their applications in diverse areas such as recommender systems, decision-making, security, optimization, and more. The book caters to both researchers and practitioners in the field of concurrent and parallel systems.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031266508\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2023\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Hardback","offer_id":45811827015930,"sku":"9783031266508","price":116.61,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1714153029565_book.jpg?v=1714333733","url":"https:\/\/shulphink.com\/products\/concurrency-specification-and-programming-revised-selected-papers-from-the-29th-international-workshop-on-concurrency-specification-and-programming-csp21-berlin-germany-9783031266508","provider":"Shulph Ink","version":"1.0","type":"link"}