{"product_id":"software-engineering-and-formal-methods-19th-international-conference-sefm-2021-virtual-event-december-610-2021-proceedings-9783030921231","title":"Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003eThe 19th International Conference on Software Engineering and Formal Methods,SEFM 2021, held in December 2021, had 22 full papers, 4 short papers, and 2 invited talks. The papers covered various topics, such as testing, formal verification, program analysis, runtime verification, meta-programming, and software development and evolution. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 522 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 03 December 2021\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer Nature Switzerland AG\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eThe 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, was held virtually in December 2021, featuring a remarkable array of 22 full papers, along with 4 short papers, carefully reviewed and selected from a pool of 86 submissions. In addition, this conference included two invited talks and an abstract of a keynote talk, showcasing a diverse range of topics spanning testing, formal verification, program analysis, runtime verification, meta-programming, and software development and evolution.\u003cbr\u003e\u003cbr\u003eChapter  Configuration Space Exploration for Digital Printing Systems is now accessible open access through a Creative Commons Attribution 4.0 International License via the link: link.springer.com. This chapter delves into the exploration of configuration spaces in digital printing systems, offering valuable insights into the design and optimization of these systems.\u003cbr\u003e\u003cbr\u003eThe conference proceedings, encompassing these exceptional papers, provide a comprehensive overview of the latest advancements and innovations in software engineering and formal methods. The contributions made by researchers and practitioners from around the world contribute to the growth and development of this field, fostering collaboration and knowledge exchange.\u003cbr\u003e\u003cbr\u003eSEFM 2021's virtual format allowed for a seamless and inclusive experience, enabling participants from diverse backgrounds to engage in meaningful discussions and share their expertise. The conference's success is a testament to the enduring importance of software engineering and formal methods in today's digital world.\u003cbr\u003e\u003cbr\u003eWe invite you to explore the contents of this book, which will undoubtedly inspire and advance your understanding of software engineering and formal methods.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 819g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783030921231\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2021\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":44103290683642,"sku":"9783030921231","price":58.3,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/1646388149550_book.jpg?v=1646988229","url":"https:\/\/shulphink.com\/products\/software-engineering-and-formal-methods-19th-international-conference-sefm-2021-virtual-event-december-610-2021-proceedings-9783030921231","provider":"Shulph Ink","version":"1.0","type":"link"}