{"product_id":"mathematical-foundations-of-software-engineering-essays-in-honour-of-tom-maibaum-on-the-occasion-of-his-70th-birthday-and-retirement-paperback","title":"Mathematical Foundations of Software Engineering. Essays in Honour of Tom Maibaum on the Occasion of his 70th Birthday and Retirement - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eNazareno Aguirre\u003c\/b\u003e (Editor), \u003cb\u003eValentin Cassano\u003c\/b\u003e (Editor), \u003cb\u003ePablo Castro\u003c\/b\u003e (Editor)\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThis Festschrift is dedicated to Tom Maibaum on the occasion of his 70th birthday and on the occasion of his retirement. The Festschrift is also a follow up to the International Symposium on the Mathematics of Software Engineering organized by the Department of Computing of the University of Rio Cuarto, in February 2019.\u003c\/p\u003e\u003cp\u003e \u003c\/p\u003e\u003cp\u003eThe Festschrift contains contributions by Tom's former students, colleagues, and friends. These contributions address research questions and problems in the general area of Formal Methods for Software Engineering - an area which Tom has spent most of his academic life working on.\u003c\/p\u003e\u003cp\u003e \u003c\/p\u003e\u003cp\u003eThere are many reasons for publishing a Festschrift. Tom's academic merits alone would suffice for publishing this one. This Festschrift is also a token of appreciation. We wanted to make use of the opportunity to thank Tom for the impact he has had in the academic careers of many of his colleagues and collaborators, and especially in those of his former students.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 198\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.42 x 9.21 x 6.14 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e May 30, 2022\u003c\/div\u003e\n            ","brand":"Books by splitShops","offers":[{"title":"Default Title","offer_id":47507565609138,"sku":"9781848903999","price":25.92,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0770\/3891\/1666\/files\/dXd5Q4xZcN9781848903999.webp?v=1779584908","url":"https:\/\/box.dadyminds.org\/products\/mathematical-foundations-of-software-engineering-essays-in-honour-of-tom-maibaum-on-the-occasion-of-his-70th-birthday-and-retirement-paperback","provider":"DADYMINDS BOX","version":"1.0","type":"link"}