We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£84.32
This is the most expensive it has ever been. Walk away.
£84 today · previous high £84 · all-time low £84
Springer Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, ... (Lecture Notes in Computer Science, 13765)
Price data last checked 37 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 54 days · 54 data points (no recent data)
Historical
Generating forecast…
Price data last checked 37 day(s) ago - refreshing...
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
↑ Price chart
when this has been cheap or pricey
when this has been cheap or pricey
↑ Forecast
where the price is heading next
where the price is heading next
↓ Statistics
all-time high & low, recent range
all-time high & low, recent range
↑ Price alert
name your number, we'll email you
name your number, we'll email you
Price Distribution
Price distribution over 54 days • 1 price levels
Price Analysis
Most common price: £84 (54 days, 100.0%)
Price range: £84 - £84
Price levels: 1 different prices over 54 days
Description
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: 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.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3031262352
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 11 February 2023
- Listed Since
- 29 December 2022
Barcode
No barcode data available
Similar Products You Might Like
98% match
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings: 13085 (Lecture Notes in Computer Science, 13085)
Springer
£61.69
17 Sep 2026
97% match
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science, 9276)
Springer
£41.43
04 Oct 2026
96% match
Software Engineering and Advanced Applications: 51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10–12, 2025, Proceedings, Part III: 16083 (Lecture Notes in Computer Science, 16083)
Springer
£61.06
10 Oct 2026
96% match
SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, ... (Lecture Notes in Computer Science, 13878)
Springer
£53.68
08 Oct 2026
96% match
SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, ... (Lecture Notes in Computer Science, 5404)
Springer
£59.44
18 Oct 2026
96% match
SOFSEM 2026: Theory and Practice of Computer Science: 51st International Conference on Current Trends in Theory and Practice of Computer Science, ... (Lecture Notes in Computer Science, 16448)
Springer
£80.18
23 Sep 2026
96% match
Software Engineering Methods Design and Application: Proceedings of 13th Computer Science Online Conference 2024, Volume 1: 1118 (Lecture Notes in Networks and Systems, 1118)
Springer
£111.30
18 Sep 2026
96% match
Software Engineering Application in Informatics: Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 1: 232 (Lecture Notes in Networks and Systems, 232)
Springer
£109.08
17 Sep 2026
96% match
Software Engineering: Emerging Trends and Practices in System Development: Proceedings of 14th Computer Science On-line Conference 2025, Volume 1: 1558 (Lecture Notes in Networks and Systems, 1558)
Springer
£153.91
30 Sep 2026
95% match
Software Engineering: Emerging Trends and Practices in System Development: Proceedings of 14th Computer Science On-line Conference 2025, Volume 3: 1560 (Lecture Notes in Networks and Systems, 1560)
Springer
£162.29
18 Sep 2026
95% match
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings: 13712 (Lecture Notes in Computer Science, 13712)
Springer
£49.14
23 Sep 2026
95% match
Software Engineering: Emerging Trends and Practices in System Development: Proceedings of 14th Computer Science On-line Conference 2025, Volume 4: 1561 (Lecture Notes in Networks and Systems, 1561)
Springer
£162.87
11 Aug 2026
95% match
Software Engineering: Emerging Trends and Practices in System Development: Proceedings of 14th Computer Science Online Conference 2025, Volume 2: 1559 (Lecture Notes in Networks and Systems, 1559)
Springer
£157.41
23 Aug 2026
95% match
Evaluation of Novel Approaches to Software Engineering: 17th International Conference, ENASE 2022, Virtual Event, April 25–26, 2022, Revised Selected ... in Computer and Information Science, 1829)
Springer
£61.07
13 Sep 2026
95% match
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings: 14300 (Lecture Notes in Computer Science, 14300)
Springer
£90.81
24 Sep 2026
95% match
Sustainability in Software Engineering and Business Information Management: Proceedings of the Conference SSEBIM 2022: 62 (Lecture Notes in Information Systems and Organisation, 62)
Springer
£121.89
22 Oct 2026
95% match
Software Engineering: Emerging Trends and Practices in System Development: Proceedings of 14th Computer Science On-line Conference 2025, Volume 5 (Lecture Notes in Networks and Systems, 1562)
Springer
£144.06
21 Aug 2026
95% match
Advances in Software Engineering, Education, and e-Learning: Proceedings from FECS'20, FCS'20, SERP'20, and EEE'20 (Transactions on Computational Science and Computational Intelligence)
Springer
£119.32
01 Oct 2026
95% match
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings: 13465 (Lecture Notes in Computer Science, 13465)
Springer
£43.30
17 Oct 2026
95% match
Soft Computing and Its Engineering Applications: 7th International Conference, icSoftComp 2025, Hanoi, Vietnam, December 9–11, 2025, Proceedings, Part ... in Computer and Information Science, 2873)
Springer
£77.36
23 Sep 2026
95% match
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, ... (Lecture Notes in Computer Science, 14464)
Springer
£61.07
05 Oct 2026
95% match
Knowledge Science, Engineering and Management: 16th International Conference, KSEM 2023, Guangzhou, China, August 16–18, 2023, Proceedings, Part II: 14118 (Lecture Notes in Computer Science, 14118)
Springer
£37.80
17 Sep 2026
95% match
Research Perspectives on Software Engineering and Systems Design: Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5: 1492 (Lecture Notes in Networks and Systems, 1492)
Springer
£149.86
25 Aug 2026
95% match
Soft Computing and Its Engineering Applications: 7th International Conference, icSoftComp 2025, Hanoi, Vietnam, December 9–11, 2025, Proceedings, Part ... in Computer and Information Science, 2875)
Springer
£76.83
23 Sep 2026