We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£61.69
It has never been this cheap. We have no record of a lower price.
£62 today · cheaper than every other day in the last 3 months
Springer Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings: 13085 (Lecture Notes in Computer Science, 13085)
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 55 days · 55 data points (no recent data)
Historical
Generating forecast…
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 55 days • 1 price levels
Price Analysis
Most common price: £62 (55 days, 100.0%)
Price range: £62 - £62
Price levels: 1 different prices over 55 days
Description
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3030921239
- Domain
- Amazon UK
- Release Date
- 03 December 2021
- Listed Since
- 27 August 2020
Barcode
No barcode data available
Similar Products You Might Like
98% match
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)
Springer
£84.32
17 Sep 2026
97% 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
97% 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
97% 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
97% 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
97% 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
97% match
Software Engineering and Management: Theory and Applications: Volume 18 (Studies in Computational Intelligence, 1239)
Springer
£139.53
25 Sep 2026
97% match
Software Engineering and Advanced Applications: 51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10–12, 2025, Proceedings, Part I (Lecture Notes in Computer Science, 16081)
Springer
£65.41
07 Oct 2026
97% 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
97% 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
97% 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
97% match
Knowledge Science, Engineering and Management: 15th International Conference, KSEM 2022, Singapore, August 6–8, 2022, Proceedings, Part II: 13369 (Lecture Notes in Computer Science, 13369)
Springer
£96.03
01 Oct 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
97% 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
97% match
Science, Engineering Management and Information Technology: 5th International Conference, SEMIT 2025, Dubai, United Arab Emirates, September 11–13, ... in Computer and Information Science, 2652)
Springer
£64.99
18 Sep 2026
97% match
Knowledge Science, Engineering and Management: 15th International Conference, KSEM 2022, Singapore, August 6–8, 2022, Proceedings, Part I: 13368 (Lecture Notes in Computer Science, 13368)
Springer
£93.29
30 Sep 2026
97% match
Complex, Intelligent and Software Intensive Systems: Proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive ... and Communications Technologies, 260)
Springer
£147.14
08 Sep 2026
97% 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
97% 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
97% 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
97% match
Proceedings of the 4th International Conference on Materials Engineering and Functional Materials: ICMFM 2025, February 21–23, Da Nang, Vietnam: 88 (Springer Proceedings in Materials, 88)
Springer
£162.89
29 Sep 2026
96% match
Proceedings of the Fifth International Conference on Emerging Trends in Mathematical Sciences & Computing (IEMSC-24): 10 (Information Systems Engineering and Management, 10)
Springer
£138.07
25 Sep 2026
96% match
Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings (Lecture Notes in Computer Science, 16136)
Springer
£96.93
12 Sep 2026
96% 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