{"product_id":"specifying-software-cambridge-university-press-9780521004015-a-hands-on-introduction-r-d-tennent","title":"Specifying Software","description":"\u003cp\u003eAn introductory textbook on software specifications suitable for programming students with some background in discrete mathematics and logic. The author adopts a unique 'hands-on' approach, presenting basic concepts in the context of numerous small programming examples. Topics include assertional notations, state diagrams, grammars, and regular expressions.\u003c\/p\u003e","brand":"R. D. Tennent","offers":[{"title":"Default Title","offer_id":52228042555734,"sku":"9780521004015","price":50.92,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521004015.jpg?v=1767742692","url":"https:\/\/www.englishbook.fi\/products\/specifying-software-cambridge-university-press-9780521004015-a-hands-on-introduction-r-d-tennent","provider":"Bookshop","version":"1.0","type":"link"}