We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£53.88
Springer Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13703)
Price data last checked 52 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£54 today · previous high £54 · all-time low £54
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 39 days • 39 data points (No recent data available)
Price Distribution
Price distribution over 39 days • 1 price levels
Price Analysis
Most common price: £54 (39 days, 100.0%)
Price range: £54 - £54
Price levels: 1 different prices over 39 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3031197585
- Domain
- Amazon UK
- Release Date
- 20 October 2022
- Listed Since
- 15 September 2022
Barcode
No barcode data available
Similar Products You Might Like
Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)
Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 863 (Lecture Notes in Computer Science, 863)
Springer
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)
Intelligent Algorithms in Software Engineering: Proceedings of the 9th Computer Science On-line Conference 2020, Volume 1: 1224 (Advances in Intelligent Systems and Computing, 1224)
Springer
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science, 2805)
Springer
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)
Springer
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Perspectives on the Future of Software Engineering: Essays in Honor of Dieter Rombach
Springer
Systems, Software and Services Process Improvement: 28th European Conference, EuroSPI 2021, Krems, Austria, September 1–3, 2021, Proceedings: 1442 ... in Computer and Information Science, 1442)
Springer
Stable Design Patterns for Software and Systems
CRC Press
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)
Springer
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)
Springer
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016: 454 (Lecture Notes in Electrical Engineering, 454)
Springer
An Introduction to Self-adaptive Systems: A Contemporary Software Engineering Perspective (IEEE Press)
Wiley-Blackwell
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings
Saint Philip Street Press
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, ... (Lecture Notes in Computer Science, 12235)
Springer
Software Engineering: Proceedings of CSI 2015: 731 (Advances in Intelligent Systems and Computing, 731)
Springer
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)
Springer
Springer - Formal Methods and Models for System Design Book
Springer
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Springer
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)
Springer
Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Software Engineering & Digital Media Technology
Springer
From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science)
CRC Press
Formal Methods for Industrial Critical Systems: A Survey of Applications
John Wiley & Sons Inc