{"product_id":"9783031181733","title":"Verbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien (1. Aufl. 2022. 2023. xxiv, 262 S. XXIV, 262 S. 93 Abb., 65 Abb. in Far)","description":"\u003cp\u003eDie Autoren legen den Schwerpunkt auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete Analyse- und Testtechniken, die auf SystemC-basierte VP und die zugehörige Software (SW) zugeschnitten sind.\u003c\/p\u003e","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;","offers":[{"title":"Default Title","offer_id":48848148267243,"sku":"00000_00000_00000_00000","price":164.78,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/products\/9783031181733","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}