{"product_id":"9789810240967","title":"HYBRID PARALLEL EXECUTION MODEL FOR LOGIC-BASED SPECIFICATION LANGUAGES (Series on Software Engineering and Knowledge Engineering)","description":"\u003cp\u003eThe purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems. These techniques are very useful for the construction, analysis and transformation of reliable large-scale and complex software systems.\u003c\/p\u003e","brand":"World Scientific Publishing Co Pte Ltd","offers":[{"title":"Default Title","offer_id":42564010115147,"sku":"00000_00000_00000_00000","price":4920.15,"currency_code":"THB","in_stock":false}],"url":"https:\/\/kinokuniya.co.th\/th\/products\/9789810240967","provider":"Books Kinokuniya Thailand","version":"1.0","type":"link"}