Shulph Ink
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
💎 Earn 234 Points (£2.34) on this item.
YOU SAVE £8.03
- 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: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
This book presents the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods,SEFM 2022, which includes 19 full and 3 short papers on various topics in software engineering and formal methods. The papers were reviewed and selected from 62 submissions.
Format: Paperback / softback
Length: 369 pages
Publication date: 21 September 2022
Publisher: Springer International Publishing AG
The 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022, is the subject of this comprehensive book. It includes a selection of 19 full and 3 short papers, carefully reviewed and chosen from a total of 62 submissions. The papers were organized into topical sections, covering various areas of software engineering and formal methods. These sections include software verification, program analysis, verifier technology, formal methods for intelligent and learning systems, specification and contracts, program synthesis, temporal logic, and runtime methods.
The conference aimed to bring together researchers, practitioners, and experts from around the world to discuss the latest advancements and challenges in software engineering and formal methods. The papers presented at SEFM 2022 covered a wide range of topics, including software verification techniques, program analysis methodologies, verifier technology developments, formal methods for AI and machine learning, specification and contract engineering, program synthesis approaches, temporal logic applications, and runtime methods for improving software performance and reliability.
The contributions made by the authors and presenters at SEFM 2022 are invaluable in advancing the field of software engineering and formal methods. The papers presented provide insights into the latest research findings, practical experiences, and innovative solutions to real-world software engineering problems. They offer valuable guidance to researchers, practitioners, and students interested in exploring the latest trends and developments in this field.
Overall, this book serves as a valuable resource for anyone interested in software engineering and formal methods. It provides a comprehensive overview of the latest research and developments in the field, and it will be of great interest to researchers, practitioners, and students alike.
Weight: 593g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031171079
Edition number: 1st ed. 2022
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.
