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
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
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
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
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
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
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
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
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
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
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
See On Amazon
Looking For Something Else?
Search