{"product_id":"model-checking-cyber-physical-systems-series","title":"Model Checking (Cyber Physical Systems Series)","description":"\"Model Checking (Cyber Physical Systems Series)\" delves into the intricate world of verifying cyber-physical systems, blending computer science and engineering. This authoritative text, featuring contributions from leading experts in the field, explores the methodologies and applications of model checking to ensure system reliability and safety. Key themes include algorithm development, system verification, and practical case studies, offering readers a comprehensive understanding of this critical technology. Ideal for professionals and academics, this book provides insightful perspectives on advancing the dependability of systems that integrate computational and physical processes.","brand":"Chalkys.com","offers":[{"title":"Default Title","offer_id":46990828798274,"sku":"1024896","price":68.98,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0056\/8043\/1219\/products\/51bKknktMVL._SL1500.jpg?v=1695917459","url":"https:\/\/chalkys.com\/products\/model-checking-cyber-physical-systems-series","provider":"Chalkys.com","version":"1.0","type":"link"}