{"product_id":"software-engineering-1-abstraction-and-modelling-9783540211495","title":"Software Engineering 1: Abstraction and Modelling","description":"\u003cp\u003e • Author(s): Dines Bjørner\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Computer Engineering\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader with a sound but simple basis for discrete mathematics before moving on to teach basic property and model-oriented specification principles and techniques. In addition, the reader will learn the essentials of functional, imperative, and parallel specification programming. \u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":47613301686423,"sku":"9783540211495","price":11514.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540211495.webp?v=1775084136","url":"https:\/\/atlanticbooks.com\/products\/software-engineering-1-abstraction-and-modelling-9783540211495","provider":"Atlantic Books","version":"1.0","type":"link"}