{"product_id":"9781402061516","title":"Global Specification and Validation of Embedded Systems","description":"\u003cp\u003eThis book offers up a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components. Mixed continuous\/discrete and hardware\/software systems are used to illustrate these concepts. The benefit of reading this book is to arrive at a clear vision of the theory and practice of specification and validation of complex modern systems. Numerous examples give designers highly applicable solutions.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2007\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer Netherlands\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: H\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 910\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"G. Nicolescu","offers":[{"title":"Default Title","offer_id":41269951463602,"sku":"9781402061516","price":2876852.76,"currency_code":"IDR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/140206151X.01_SCLZZZZZZZ.jpg?v=1636076657","url":"https:\/\/readabook.store\/en-id\/products\/9781402061516","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}