{"product_id":"concurrency-specification-and-programming-springer-international-publishing-ag-9783031266539-revised-selected-papers-from-the-29th-international-workshop-on-concurrency-specification-and-programming-cs-p-21-berlin-germany-bernd-holger-schlingloff","title":"Concurrency, Specification and Programming","description":"\u003cp\u003eExplore the innovative world of concurrent and parallel systems with \u003cstrong\u003eConcurrency, Specification and Programming\u003c\/strong\u003e by \u003cstrong\u003eBernd-Holger Schlingloff\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2024, this insightful book spans \u003cstrong\u003e231 pages\u003c\/strong\u003e and offers a comprehensive look at formal specification techniques. Discover mathematical models that effectively describe complex systems, alongside programming and verification concepts essential for successful implementation. This essential resource is perfect for researchers, students, and professionals seeking to deepen their understanding of concurrency in computing. Enhance your knowledge and skills with this authoritative guide from a leading expert in the field.\u003c\/p\u003e","brand":"Bernd-Holger Schlingloff","offers":[{"title":"Default Title","offer_id":52267246289238,"sku":"9783031266539","price":169.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031266539.jpg?v=1767800066","url":"https:\/\/www.bookshop.ee\/products\/concurrency-specification-and-programming-springer-international-publishing-ag-9783031266539-revised-selected-papers-from-the-29th-international-workshop-on-concurrency-specification-and-programming-cs-p-21-berlin-germany-bernd-holger-schlingloff","provider":"Bookshop","version":"1.0","type":"link"}