Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701) - Image 1

£63.20

Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701)

Name: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701)
Brand: Springer
Price: 63.2 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 39 days • 39 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 39 days • 1 price levels

Days at Price

Price Analysis

Most common price: £63 (39 days, 100.0%)

Price range: £63 - £63

Price levels: 1 different prices over 39 days

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031198484
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 20 October 2022
Listed Since: 15 September 2022

Barcode

No barcode data available

Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701)

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... (Lecture Notes in Computer Science, 13124)

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings: 13260 (Lecture Notes in Computer Science, 13260)

Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings: 13712 (Lecture Notes in Computer Science, 13712)

Advances in Cryptology – EUROCRYPT 2022: 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, ... (Lecture Notes in Computer Science, 13276)

Advances in Cryptology – EUROCRYPT 2022: 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, ... (Lecture Notes in Computer Science, 13275)

Social Computing and Social Media: Applications in Education and Commerce: 14th International Conference, SCSM 2022, Held as Part of the 24th HCI ... (Lecture Notes in Computer Science, 13316)

Intelligent Computing Systems and Applications: Select Proceedings of the International Conference, ICICSA 2022: 1307 (Lecture Notes in Networks and Systems, 1307)

Experimental IR Meets Multilinguality, Multimodality, and Interaction: 13th International Conference of the CLEF Association, CLEF 2022, Bologna, ... (Lecture Notes in Computer Science, 13390)

Augmented Cognition: 16th International Conference, AC 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 ... (Lecture Notes in Computer Science, 13310)

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... (Lecture Notes in Computer Science, 14500)

Machine Learning, Optimization, and Data Science: 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18–22, 2022, Revised ... (Lecture Notes in Computer Science, 13811)

Advances in Cryptology – EUROCRYPT 2022: 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, ... (Lecture Notes in Computer Science, 13277)

New Sustainable Horizons in Artificial Intelligence and Digital Solutions: 22nd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E ... (Lecture Notes in Computer Science, 14316)

Design, User Experience, and Usability: UX Research, Design, and Assessment: 11th International Conference, DUXU 2022, Held as Part of the 24th HCI ... (Lecture Notes in Computer Science, 13321)

Machine Learning, Optimization, and Data Science: 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18–22, 2022, Revised ... (Lecture Notes in Computer Science, 13810)

Data Engineering and Applications: Proceedings of the International Conference, IDEA 2K22, Volume 1 (Lecture Notes in Electrical Engineering, 1146)

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings: 13255 (Lecture Notes in Computer Science, 13255)

Numerical Methods and Applications: 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22–26, 2022, Proceedings: 13858 (Lecture Notes in Computer Science, 13858)

Linking Theory and Practice of Digital Libraries: 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, Padua, Italy, ... (Lecture Notes in Computer Science, 13541)

Computer Security – ESORICS 2022: 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, ... (Lecture Notes in Computer Science, 13554)

Stabilization, Safety, and Security of Distributed Systems: 24th International Symposium, SSS 2022, Clermont-Ferrand, France, November 15–17, 2022, ... (Lecture Notes in Computer Science, 13751)

Social Computing and Social Media: Design, User Experience and Impact: 14th International Conference, SCSM 2022, Held as Part of the 24th HCI ... (Lecture Notes in Computer Science, 13315)

Human Interface and the Management of Information: Applications in Complex Technological Environments: Thematic Area, HIMI 2022, Held as Part of the ... (Lecture Notes in Computer Science, 13306)

Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshops, S+SSPR 2022, Montreal, QC, Canada, August 26–27, 2022, ... (Lecture Notes in Computer Science, 13813)