{"product_id":"andreas-lochbihler-a-machine-checked-type-safe-model-of-java-concurrency-language-virtual-machine-memory-model-and-verified-compiler-dissertationsschrift-9783866448858","title":"A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler: Dissertationsschrift","description":null,"brand":"KIT Scientific Publishing","offers":[{"title":"Default Title","offer_id":53813317861718,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/andreas-lochbihler-a-machine-checked-type-safe-model-of-java-concurrency-language-virtual-machine-memory-model-and-verified-compiler-dissertationsschrift-9783866448858","provider":"momoxbooks","version":"1.0","type":"link"}