{"product_id":"formal-methods-foundations-and-applications-book-maurice-h-ter-beek-9783032120854","title":"Formal Methods: Foundations and Applications","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.\u003c\/p\u003e\n\u003cp\u003eThe 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations. \u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52970530930961,"sku":"NLS9783032120854","price":75.89,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783032120854.jpg?v=1785795557","url":"https:\/\/www.worldofbooks.com\/products\/formal-methods-foundations-and-applications-book-maurice-h-ter-beek-9783032120854","provider":"World of Books ","version":"1.0","type":"link"}