Frontpage > Product > Verification, Model Checking, And Abstract Interpretation: 22Nd International Conference, Vmcai 2021...

Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17 19, 2021, Proceedings ... Notes in Computer Science Book 12597)

Asin: B08SQD8R77

As an Amazon Associate we earn a fee from qualifying purchases when you follow a link to Amazon from this page. We rank the products, but the links to Amazon are promotional.

First Available: 01/11/2021

Manufacturer: Springer

Amazon Price: $75.20 | as of 05/30/2024 (1:26am pst) *DETAILS
Availability: Available for download now

See On Amazon




Similar To Verification Model Checking and Abstract

  #1

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16 17, 2023, Proceedings (Lecture Notes in Computer Science Book 13881)

Asin: B0BSBNWWPJ

First Available: 01/16/2023

Manufacturer: Springer

Amazon Price: $71.74 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #2

Abstract State Machines: A Method for High-Level System Design and Analysis

Asin: B000W90DII

First Available: 12/06/2012

Manufacturer: Springer

Amazon Price: $50.98 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #3

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science Book 9675)

Asin: B01FJD7DQQ

First Available: 05/12/2016

Manufacturer: Springer

Amazon Price: $50.87 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #4

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

Asin: B0CNJCKFP4

First Available: 12/29/2023

Manufacturer: Springer

Amazon Price: $74.99 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #5

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15 16, 2024, Proceedings, ... Notes in Computer Science Book 14499)

Asin: B0CNJC5YF9

First Available: 12/29/2023

Manufacturer: Springer

Amazon Price: $54.84 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #6

Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22 24, 2023, Proceedings (Lecture Notes in Computer Science Book 14284)

Asin: B0CHNHNV5L

First Available: 10/23/2023

Manufacturer: Springer

Amazon Price: $89.99 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #7

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Asin: B09TL85KZB

First Available: 02/27/2022

Manufacturer: Springer-Verlag Berlin Heidelberg

Amazon Price: $9.99 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #8

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Asin: B09T3LQ7D3

First Available: 02/21/2022

Manufacturer: Springer-Verlag Berlin Heidelberg

Amazon Price: $9.99 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #9

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9 11, 2003 Proceedings

Asin: B09SVG3BLT

First Available: 02/17/2022

Manufacturer: Springer-Verlag Berlin Heidelberg

Amazon Price: $9.99 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #10

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16 18, 2022, Proceedings ... Notes in Computer Science Book 13182)

Asin: B09QFRDF33

First Available: 01/13/2022

Manufacturer: Springer

Amazon Price: $89.00 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #11

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16 21, 2020, Proceedings ... Notes in Computer Science Book 11990)

Asin: B0841DZ29N

First Available: 01/14/2020

Manufacturer: Springer

Amazon Price: $75.30 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #12

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13 15, 2019, Proceedings ... Notes in Computer Science Book 11388)

Asin: B07MG32BBV

First Available: 01/10/2019

Manufacturer: Springer

Amazon Price: $54.99 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #13

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5 8, 2018, Proceedings (Lecture Notes in Computer Science Book 10817)

Asin: B07D28P8Z4

First Available: 05/14/2018

Manufacturer: Springer

Amazon Price: $50.34 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #14

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings ... Notes in Computer Science Book 10747)

Asin: B078RX497X

First Available: 01/03/2018

Manufacturer: Springer

Amazon Price: $50.87 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #15

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15 17, 2017, Proceedings (Lecture Notes in Computer Science Book 10145)

Asin: B01NBTYOHU

First Available: 01/09/2017

Manufacturer: Springer

Amazon Price: $50.87 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #16

Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and ... Computer and Information Science Book 683)

Asin: B01MT1KZPI

First Available: 12/20/2016

Manufacturer: Springer

Amazon Price: $50.38 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #17

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings ... Notes in Computer Science Book 10028)

Asin: B01M9IJJLG

First Available: 10/31/2016

Manufacturer: Springer

Amazon Price: $50.38 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #18

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, ... Notes in Computer Science Book 9953)

Asin: B01LZPQ4RT

First Available: 10/04/2016

Manufacturer: Springer

Amazon Price: $43.44 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon




  #19

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, ... Notes in Computer Science Book 9952)

Asin: B01LZDXMY4

First Available: 10/05/2016

Manufacturer: Springer

Amazon Price: $79.20 | as of 05/30/2024 (1:26am pst) *DETAILS

See On Amazon





Looking For Something Else? Search

Home & Garden


Home Improvement


Industrial


Electronics


Office


Car & Automotive


Sporting Goods


Beauty Supplies


Health & Personal Care


Fashion


Toys and Hobby



Additional Categories


| GistGear © 2021 |

We are a participant in the Amazon Services LLC Associates Program, an affiliate advertising program designed to provide a means for us to earn fees by linking to Amazon.com and affiliated sites.
Certain content that appears on GistGear.com comes from Amazon services llc. This content is provided 'as is' and is subject to change or removal at any time.
Any price and availability information displayed on Amazon.com at the time of purchase will apply to the purchase of this product.
Amazon product prices and availability are accurate as of the date/time indicated and are subject to change.
As an Amazon Associate we earn from qualifying purchases.