{"product_id":"verification-of-systems-and-circuits-using-lotos-petri-nets-and-ccs-john-wiley-sons-inc-9780471704492-michael-yoeli","title":"Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS","description":"\u003cp\u003eDiscover the essential guide for modern digital systems with \"Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS\" by Michael Yoeli, published by John Wiley \u0026amp; Sons Inc. In this comprehensive 248-page hardback, you'll find a step-by-step interactive introduction to the formal verification of systems and circuits, a crucial methodology in the face of today's complex parallel digital architectures. This book emphasizes the need for a formal approach to analysis and verification, equipping readers with knowledge of two robust analysis tool sets: LOTOS-based CADP and Petri-Net based PETRIFY. Ideal for students and professionals in computer engineering and software verification, this text serves as both a valuable resource and a practical guide to ensure the reliability of integrated circuits. Elevate your understanding of software engineering and circuit validation with this indispensable resource.\u003c\/p\u003e","brand":"Michael Yoeli","offers":[{"title":"Default Title","offer_id":52224762446166,"sku":"9780471704492","price":141.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780471704492.jpg?v=1767738175","url":"https:\/\/www.englishbook.fi\/products\/verification-of-systems-and-circuits-using-lotos-petri-nets-and-ccs-john-wiley-sons-inc-9780471704492-michael-yoeli","provider":"Bookshop","version":"1.0","type":"link"}