{"product_id":"digitale-hardware-software-systeme-spezifikation-und-verifikation-9783642053559","title":"Digitale Hardware\/Software-Systeme: Spezifikation Und Verifikation","description":"\u003cp\u003e • Author(s): Christian Haubelt | Jürgen Teich\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Systems Architecture - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eEingebettete Systeme sind aus unserem t�glichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, �ber Hardware- und Softwaregrenzen hinausgehendes Verst�ndnis der Verifikationsproblematik erforderlich. \u003c\/p\u003e \u003cp\u003eDas vorliegende Lehrbuch dient als Einf�hrung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Alle Verfahren werden in einer einheitlichen Notation f�r Hard- und Software beschrieben.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47581739155607,"sku":"9783642053559","price":2608.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642053559.webp?v=1774921248","url":"https:\/\/atlanticbooks.com\/products\/digitale-hardware-software-systeme-spezifikation-und-verifikation-9783642053559","provider":"Atlantic Books","version":"1.0","type":"link"}