{"product_id":"abstract-state-machines-a-method-for-high-level-system-design-and-analysis-von-robert-f-stark-egon-borger-1","title":"Abstract State Machines","description":"\n                                \n                \u003cp\u003eWritten for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with the three stumbling-blocks of building modern software based systems: size, complexity and trustworthiness. It covers within a single conceptual framework both design, verification by reasoning techniques, and experimental validation by simulation and testing. The text contains detailed proofs, exercises, as well as numerous real-world examples and case studies.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783642621161\"\u003e\u003ch3\u003eA Method for High-Level System Design and Analysis\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783642621161","offer_id":39428834459741,"sku":"9783642621161","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/531a8fdc-fccd-4e32-aaa0-80a63e49ae82.jpg?v=1775107487","url":"https:\/\/shop.autorenwelt.de\/products\/abstract-state-machines-a-method-for-high-level-system-design-and-analysis-von-robert-f-stark-egon-borger-1","provider":"Autorenwelt Shop","version":"1.0","type":"link"}