{"product_id":"rigorous-software-development-an-introduction-to-program-verification-9781447175575","title":"Rigorous Software Development: An Introduction to Program Verification","description":"\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 291 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 24 May 2026\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer London Ltd\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThis revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9781447175575\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: Second Edition 2026\u003c\/p\u003e","brand":"Jose Bacelar Almeida,Maria Joao Frade,Jorge Sousa Pinto,Simao Melo de Sousa","offers":[{"title":"Paperback \/ softback","offer_id":49718543646970,"sku":"9781447175575","price":44.94,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1784330014696_book.jpg?v=1784365639","url":"https:\/\/shulphink.com\/products\/rigorous-software-development-an-introduction-to-program-verification-9781447175575","provider":"Shulph Ink","version":"1.0","type":"link"}