{"product_id":"9789810235130","title":"Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification (Amast Series in Computing)","description":"\u003cp\u003eCafeOBJ is an industrial-strength modern algebraic specification language. This book presents not only a formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity.\u003c\/p\u003e","brand":"World Scientific Publishing Co Pte Ltd","offers":[{"title":"Default Title","offer_id":48762192232683,"sku":"00000_00000_00000_00000","price":84.23,"currency_code":"SGD","in_stock":false}],"url":"https:\/\/kinokuniya.com.sg\/products\/9789810235130","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}