{"title":"Emil Sekerinski","description":null,"products":[{"product_id":"formal-methods-teaching-springer-international-publishing-ag-9783031713781-6th-formal-methods-teaching-workshop-fmtea-2024-milan-italy-september-10-2024-proceedings-emil-sekerinski","title":"Formal Methods Teaching","description":"\u003cp\u003eDiscover the latest insights in formal methods education with \u003cstrong\u003eFormal Methods Teaching\u003c\/strong\u003e by \u003cstrong\u003eEmil Sekerinski\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2024. This essential volume compiles the proceedings of the 6th International Workshop on Formal Methods Teaching (FMTea 2024), held in Milan, Italy, on September 10, 2024. With a total of 141 pages, this book features 7 meticulously reviewed full papers selected from 9 submissions, showcasing innovative approaches and best practices in teaching formal methods. Perfect for educators, researchers, and students in the field, this publication offers valuable perspectives that can enhance your understanding and application of formal methods. Stay ahead in the evolving landscape of formal methods education with this authoritative resource.\u003c\/p\u003e","brand":"Emil Sekerinski","offers":[{"title":"Default Title","offer_id":52264803172694,"sku":"9783031713781","price":40.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031713781.jpg?v=1767797008"},{"product_id":"formal-methods-fm-2019-international-workshops-springer-nature-switzerland-ag-9783030549961-porto-portugal-october-7-11-2019-revised-selected-papers-part-ii-emil-sekerinski","title":"Formal Methods. FM 2019 International Workshops","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Formal Methods. FM 2019 International Workshops,\" edited by Emil Sekerinski and published by Springer Nature Switzerland AG in 2020. This comprehensive volume spans 575 pages and serves as the refereed proceedings of the workshops that accompanied the 23rd Symposium on Formal Methods, held in Porto, Portugal, in October 2019. Inside, you'll find a collection of papers from the Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019, showcasing the latest advancements in artificial intelligence, computer science, and software development. Ideal for researchers and practitioners alike, this first edition is a must-have resource for those interested in expert systems and information technology. Enhance your understanding of formal methods and their applications in software dependability with this essential read.\u003c\/p\u003e","brand":"Emil Sekerinski","offers":[{"title":"Default Title","offer_id":52274326602070,"sku":"9783030549961","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030549961.jpg?v=1767812567"},{"product_id":"formal-methods-fm-2019-international-workshops-springer-nature-switzerland-ag-9783030549930-porto-portugal-october-7-11-2019-revised-selected-papers-part-i-emil-sekerinski","title":"Formal Methods. FM 2019 International Workshops","description":"\u003cp\u003eDiscover the cutting-edge advancements in formal methods with \u003cstrong\u003eFormal Methods. FM 2019 International Workshops\u003c\/strong\u003e, edited by Emil Sekerinski. Published by Springer Nature Switzerland AG in 2020, this first edition spans an impressive 523 pages. This comprehensive volume compiles the refereed proceedings from the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. It features insightful papers from the Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019, among others. Ideal for researchers, practitioners, and students, this book provides valuable perspectives on the latest developments in formal verification techniques. Enhance your understanding of software dependability and explore the innovative methodologies presented by leading experts in the field. Don’t miss the opportunity to enrich your knowledge with this essential resource!\u003c\/p\u003e","brand":"Emil Sekerinski","offers":[{"title":"Default Title","offer_id":52274326864214,"sku":"9783030549930","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030549930.jpg?v=1767812566"}],"url":"https:\/\/www.bookshop.lt\/collections\/emil-sekerinski.oembed","provider":"Bookshop","version":"1.0","type":"link"}