Frontpage > Product > Verification, Model Checking, And Abstract Interpretation: 19Th International Conference, Vmcai 2018...

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


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/03/2018

Manufacturer: Springer

Amazon Price: $50.87 | as of 06/15/2024 (9:51am 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 06/15/2024 (9:51am 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.53 | as of 06/15/2024 (9:51am 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.44 | as of 06/15/2024 (9:51am pst) *DETAILS

See On Amazon




  #4

Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25 28, 2024, Proceedings (Lecture Notes in Computer Science Book 14759)

Asin: B0D52CHPMS

First Available: 08/02/2024

Manufacturer: Springer

Amazon Price: $79.99 | as of 06/15/2024 (9:51am 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 14500)

Asin: B0CNJCKFP4

First Available: 12/29/2023

Manufacturer: Springer

Amazon Price: $74.99 | as of 06/15/2024 (9:51am pst) *DETAILS

See On Amazon




  #6

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: $52.86 | as of 06/15/2024 (9:51am pst) *DETAILS

See On Amazon




  #7

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 06/15/2024 (9:51am pst) *DETAILS

See On Amazon




  #8

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 06/15/2024 (9:51am pst) *DETAILS

See On Amazon




  #9

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 06/15/2024 (9:51am pst) *DETAILS

See On Amazon




  #10

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 06/15/2024 (9:51am 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


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.