{"product_id":"algebraic-system-specification-and-development-9783540540601","title":"Algebraic System Specification and Development","description":"\u003cp\u003e • Author(s): Michel Bidoit | Hans-Jörg Kreowski | Pierre Lescanne\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - Systems Analysis \u0026amp; Desi\u003c\/p\u003e\u003cp\u003eThis book is an annotated bibliography providing an up-to-date overview of past and present work on algebraic specification. Some indications of how the different approaches are related are included, together with some ideas concerning possible future developments.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":46893680066711,"sku":"9783540540601","price":5616.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540540601.webp?v=1770318115","url":"https:\/\/atlanticbooks.com\/products\/algebraic-system-specification-and-development-9783540540601","provider":"Atlantic Books","version":"1.0","type":"link"}