Shulph Ink
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
💎 Earn 291 Points (£2.91) on this item.
YOU SAVE £11.69
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £2.39. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
The 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.
Format: Paperback / softback
Length: 522 pages
Publication date: 03 December 2021
Publisher: Springer Nature Switzerland AG
The 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.
Chapter 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.
The 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.
SEFM 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.
We invite you to explore the contents of this book, which will undoubtedly inspire and advance your understanding of software engineering and formal methods.
Weight: 819g
Dimension: 235 x 155 (mm)
ISBN-13: 9783030921231
Edition number: 1st ed. 2021
This item can be found in:
UK and International shipping information
UK and International shipping information
UK Delivery and returns information:
- Delivery within 2 - 3 days when ordering in the UK.
- Shipping fee for UK customers from £2.39. Fully tracked shipping service available.
- Returns policy: Return within 30 days of receipt for full refund.
International deliveries:
Shulph Ink now ships to Australia, Belgium, Canada, France, Germany, Ireland, Italy, India, Luxembourg Saudi Arabia, Singapore, Spain, Netherlands, New Zealand, United Arab Emirates, United States of America.
- Delivery times: within 5 - 10 days for international orders.
- Shipping fee: charges vary for overseas orders. Only tracked services are available for most international orders. Some countries have untracked shipping options.
- Customs charges: If ordering to addresses outside the United Kingdom, you may or may not incur additional customs and duties fees during local delivery.
