{"product_id":"formal-methods-foundations-and-applications-27th-brazilian-symposium-sbmf-2024-vitoria-brazil-december-46-2024-proceedings-9783031781155","title":"Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4–6, 2024, Proceedings","description":"\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 205 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 29 November 2024\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4–6, 2024.   The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031781155\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":47458765177082,"sku":"9783031781155","price":45.8,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1751060784993_book.jpg?v=1751097605","url":"https:\/\/shulphink.com\/products\/formal-methods-foundations-and-applications-27th-brazilian-symposium-sbmf-2024-vitoria-brazil-december-46-2024-proceedings-9783031781155","provider":"Shulph Ink","version":"1.0","type":"link"}