{"product_id":"software-engineering-2-dines-bjrner-9783540211501","title":"Software Engineering 2: Specification of Systems and Languages","description":"\u003cp\u003eThis second volume looks at the principles and techniques of modeling spatial and simple temporal phenomena, and such specialized topics as modularity (UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. The book presents principles and techniques for developing the basis for sound, efficient interpreter and compiler development of functional, imperative, modular and parallel programming languages. \u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Dines Bjner\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540211500\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540211501\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 02\/22\/2006\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 780\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 2.75lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.46h x 6.48w x 1.38d","brand":"Dines Bjner","offers":[{"title":"Hardcover","offer_id":44311400284415,"sku":"9783540211501","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_6f91f94f-a3a6-4519-a049-2542f2e91b9d.jpg?v=1695722603","url":"https:\/\/www.whiterainbookhouse.com\/products\/software-engineering-2-dines-bjrner-9783540211501","provider":"WR Book House","version":"1.0","type":"link"}