£67.67

Saint Philip Street Press Computer Aided Verification

Name: Computer Aided Verification
Brand: Saint Philip Street Press
Price: 67.67 GBP
Availability: InStock

Computer Science

It has never been this cheap. We have no record of a lower price.

£68 today · cheaper than every other day in the last 3 months

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

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
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 68 days • 68 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 68 days • 1 price levels

Days at Price

Price Analysis

Most common price: £68 (68 days, 100.0%)

Price range: £68 - £68

Price levels: 1 different prices over 68 days

Description

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications. This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

Product Specifications

Brand: Saint Philip Street Press
Format: hardcover
ASIN: 1013270991
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 08 October 2020
Listed Since: 15 April 2020

Barcode

No barcode data available

Saint Philip Street Press Computer Aided Verification

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Advances in Cryptology – CRYPTO 2018: 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part ... (Lecture Notes in Computer Science, 10992)

Applied Cryptography and Network Security: 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings: 10892 (Lecture Notes in Computer Science, 10892)

Computational Science and Its Applications – ICCSA 2018: 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part ... (Lecture Notes in Computer Science, 10963)

Computational Science and Its Applications – ICCSA 2018: 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part ... (Lecture Notes in Computer Science, 10961)

Computer Vision – ACCV 2018: 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part V: 11365 (Lecture Notes in Computer Science, 11365)

Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings: 11008 (Lecture Notes in Computer Science, 11008)

Advanced Computing and Intelligent Engineering: Proceedings of ICACIE 2018, Volume 2: 1089 (Advances in Intelligent Systems and Computing, 1089)

Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings: 12846 (Lecture Notes in Computer Science, 12846)

Computer Vision – ECCV 2018: 15th European Conference, Munich, Germany, September 8–14, 2018, Proceedings, Part IX: 11213 (Lecture Notes in Computer Science, 11213)

Social Computing and Social Media. Technologies and Analytics: 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las ... (Lecture Notes in Computer Science, 10914)

Augmented Reality, Virtual Reality, and Computer Graphics: 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part ... (Lecture Notes in Computer Science, 10851)

Artificial Intelligence and Soft Computing: 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I: 10841 (Lecture Notes in Computer Science, 10841)

PRICAI 2018: Trends in Artificial Intelligence: 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28–31, ... (Lecture Notes in Computer Science, 11012)

Artificial Intelligence in Education: 19th International Conference, AIED 2018, London, UK, June 27–30, 2018, Proceedings, Part II: 10948 (Lecture Notes in Computer Science, 10948)

Advances in Cryptology – EUROCRYPT 2018: 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, ... (Lecture Notes in Computer Science, 10822)

Social Computing and Social Media. User Experience and Behavior: 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las ... (Lecture Notes in Computer Science, 10913)

Proceedings of 3rd International Conference on Computer Vision and Image Processing: CVIP 2018, Volume 2: 1024 (Advances in Intelligent Systems and Computing, 1024)

Computational Science and Its Applications – ICCSA 2021: 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part IV: 12952 (Lecture Notes in Computer Science, 12952)

Computational Science and Its Applications – ICCSA 2021: 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part II: 12950 (Lecture Notes in Computer Science, 12950)

Computer Vision and Image Processing: 5th International Conference, CVIP 2020, Prayagraj, India, December 4-6, 2020, Revised Selected Papers, Part II: ... in Computer and Information Science, 1377)

Computer Vision and Image Processing: 5th International Conference, CVIP 2020, Prayagraj, India, December 4-6, 2020, Revised Selected Papers, Part I: ... in Computer and Information Science, 1376)

Advanced Informatics for Computing Research: 4th International Conference, ICAICR 2020, Gurugram, India, December 26–27, 2020, Revised Selected ... in Computer and Information Science, 1393)