{"product_id":"software-engineering-1-abstraction-and-modelling-9783642059391","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":"Paperback","offer_id":45284987895959,"sku":"9783642059391","price":6185.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642059391.webp?v=1769282813","url":"https:\/\/atlanticbooks.com\/products\/software-engineering-1-abstraction-and-modelling-9783642059391","provider":"Atlantic Books","version":"1.0","type":"link"}