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

£71.18

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

Name: Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings: 13255 (Lecture Notes in Computer Science, 13255)
Brand: Springer
Price: 71.18 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 40 days • 1 price levels

Days at Price

Price Analysis

Most common price: £71 (40 days, 100.0%)

Price range: £71 - £71

Price levels: 1 different prices over 40 days

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031150767
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 23 August 2022
Listed Since: 19 July 2022

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

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

Computational Science – ICCS 2022: 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part IV: 13353 (Lecture Notes in Computer Science, 13353)

Research in Computational Molecular Biology: 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022, Proceedings: 13278 (Lecture Notes in Computer Science, 13278)

Biomedical and Computational Biology: Second International Symposium, BECB 2022, Virtual Event, August 13–15, 2022, Revised Selected Papers: 13637 (Lecture Notes in Computer Science, 13637)

The Semantic Web: 19th International Conference, ESWC 2022, Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings: 13261 (Lecture Notes in Computer Science, 13261)

Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22–26, 2022, Proceedings, Part III: 13625 (Lecture Notes in Computer Science, 13625)

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)

Modelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20–21, 2022, Revised ... (Lecture Notes in Computer Science, 13866)

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

Service-Oriented Computing – ICSOC 2022 Workshops: ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 – December 2, 2022 Proceedings: 13821 (Lecture Notes in Computer Science, 13821)

Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings: 13257 (Lecture Notes in Computer Science, 13257)

Advances in Swarm Intelligence: 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part II: 13345 (Lecture Notes in Computer Science, 13345)

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)

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)

Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part V: 13665 (Lecture Notes in Computer Science, 13665)

Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part XXXV: 13695 (Lecture Notes in Computer Science, 13695)

Computational Collective Intelligence: 14th International Conference, ICCCI 2022, Hammamet, Tunisia, September 28–30, 2022, Proceedings: 13501 (Lecture Notes in Computer Science, 13501)

Intelligent Computing Methodologies: 18th International Conference, ICIC 2022, Xi'an, China, August 7–11, 2022, Proceedings, Part III: 13395 (Lecture Notes in Computer Science, 13395)

Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22–24, 2022, Proceedings: 13226 (Lecture Notes in Computer Science, 13226)

Smart Computing and Communication: 7th International Conference, SmartCom 2022, New York City, NY, USA, November 18–20, 2022, Proceedings: 13828 (Lecture Notes in Computer Science, 13828)

Soft Computing for Security Applications: Proceedings of ICSCS 2022: 1428 (Advances in Intelligent Systems and Computing, 1428)

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)

Computer Vision – ECCV 2022 Workshops: Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part II: 13802 (Lecture Notes in Computer Science, 13802)

Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part VIII: 13668 (Lecture Notes in Computer Science, 13668)