{"product_id":"formal-methods-for-industrial-critical-systems-28th-international-conference-fmics-2023-antwerp-belgium-september-2022-2023-proceedings-9783031436802","title":"Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings","description":"\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 260 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 17 September 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023.   The 14 full papers included in this book were carefully reviewed and selected from 24 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: 9783031436802\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":45836222267642,"sku":"9783031436802","price":46.96,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1714160586626_book.jpg?v=1714510311","url":"https:\/\/shulphink.com\/products\/formal-methods-for-industrial-critical-systems-28th-international-conference-fmics-2023-antwerp-belgium-september-2022-2023-proceedings-9783031436802","provider":"Shulph Ink","version":"1.0","type":"link"}