{"product_id":"erlangen-fraunhofer-iis-13-workshop-mbmv10-methoden-und-beschreibungssprachen-zur-modellierung-und-verifikation-von-schaltungen-und-systemen-9783839601037","title":"13. Workshop MBMV10.: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.","description":null,"brand":"Fraunhofer Verlag","offers":[{"title":"Default Title","offer_id":53800980218198,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783839601037_1.jpg?v=1781810818","url":"https:\/\/www.momoxbooks.com\/products\/erlangen-fraunhofer-iis-13-workshop-mbmv10-methoden-und-beschreibungssprachen-zur-modellierung-und-verifikation-von-schaltungen-und-systemen-9783839601037","provider":"momoxbooks","version":"1.0","type":"link"}