Shulph Ink
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
💎 Earn 426 Points (£4.26) on this item.
YOU SAVE £14.60
- 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. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
This volume includes revised selected papers from four workshops at SEFM 2022, covering topics such as AI4EA, F-IDE, CoSim-CPS, and CIFMA. The papers were reviewed and selected from a total of 39 submissions.
Format: Paperback / softback
Length: 420 pages
Publication date: 11 February 2023
Publisher: Springer International Publishing AG
This comprehensive volume presents a selection of revised papers from the four workshops that were closely affiliated with the 20th International Conference on Software Engineering and Formal Methods (SEFM 2022), which took place in Berlin, Germany, in September 2022. Comprising a total of 19 full papers and 9 short papers, the selection process involved a rigorous review of 39 submissions, ensuring that only the most exceptional and innovative contributions made it into this publication.
The workshops that contributed to this volume include:
AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications
F-IDE 2022: 7th Workshop on Formal Integrated Development Environment
CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems
CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models, and Applications
Each workshop in this series provided a platform for researchers and practitioners to exchange ideas, share expertise, and explore the latest advancements in software engineering and formal methods. The papers presented at these workshops cover a wide range of topics, including artificial intelligence, formal verification, software testing, model-based design, and cyber-physical systems.
By compiling these revised papers into a single volume, this publication aims to provide a valuable resource for the software engineering community. It serves as a testament to the high quality and significance of the research conducted at SEFM 2022 and offers insights into the latest trends and developments in the field.
We hope that this volume will be of great interest to researchers, practitioners, and students alike, and we encourage you to explore the contents and contribute to the ongoing discourse in software engineering and formal methods.
Weight: 658g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031262357
Edition number: 1st ed. 2023
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.
