Canyon

Verification, Model Checking, and Abstract Interpretation: 11th International

Description: Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings ... Notes in Computer Science Book 11388. The book is in excellent condition. Please see the pictures for the book that you will receive and the condition. Payment through Paypal only due within 4 days of winning. I only ship within the USA and no returns. I will combine shipping for winners of multiple items. I will ship your item with 3 business days, but I usually try to do it by the next business day from cleared payment. Shipping charge includes shipping and handling fees if you do not agree with the shipping please do not bid. If you have any questions on the item please ask. 
Please check out my other auctions. Thank You

Price: 34.99 USD

Location: El Paso, Texas

End Time: 2024-11-11T13:38:41.000Z

Shipping Cost: 0 USD

Product Images

Verification, Model Checking, and Abstract Interpretation: 11th InternationalVerification, Model Checking, and Abstract Interpretation: 11th InternationalVerification, Model Checking, and Abstract Interpretation: 11th InternationalVerification, Model Checking, and Abstract Interpretation: 11th InternationalVerification, Model Checking, and Abstract Interpretation: 11th InternationalVerification, Model Checking, and Abstract Interpretation: 11th International

Item Specifics

All returns accepted: ReturnsNotAccepted

Regional Cuisine: International

Item Length: 9.3in

Item Width: 6.1in

Author: Ruzica Piskac

Publication Name: Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Format: Trade Paperback

Language: English

Publisher: Springer International Publishing A&G

Publication Year: 2019

Series: Lecture Notes in Computer Science Ser.

Type: Textbook

Item Weight: 33.1 Oz

Number of Pages: Xvii, 602 Pages

Recommended

Verification, Model Checking, and Abstract Interpretation: 25th International Co
Verification, Model Checking, and Abstract Interpretation: 25th International Co

$88.21

View Details
Eagle Model  2250 Terminator - Two Way Audio Alarm Verification Module
Eagle Model 2250 Terminator - Two Way Audio Alarm Verification Module

$25.00

View Details
Verification, Model Checking, and Abstract Interpretation: 5th International Con
Verification, Model Checking, and Abstract Interpretation: 5th International Con

$67.60

View Details
Verification, Model Checking, and Abstract Interpretation: 23rd International Co
Verification, Model Checking, and Abstract Interpretation: 23rd International Co

$115.00

View Details
Eagle Model 2244 Terminator VOX PRO Two Way Audio Alarm Verification Module
Eagle Model 2244 Terminator VOX PRO Two Way Audio Alarm Verification Module

$4.00

View Details
Bouajjani - Verification Model Checking and Abstract Interpretation  - S555z
Bouajjani - Verification Model Checking and Abstract Interpretation - S555z

$81.93

View Details
Systems and Software Verification: Model-Checking Techniques and Tools by Berard
Systems and Software Verification: Model-Checking Techniques and Tools by Berard

$177.33

View Details
Verification, Model Checking, and Abstract Interpretation - 9783030112448
Verification, Model Checking, and Abstract Interpretation - 9783030112448

$51.06

View Details
Writing Testbenches: Functional Verification of HDL Models
Writing Testbenches: Functional Verification of HDL Models

$26.17

View Details
Verification and Validation in Scientific Computing by Christopher J. Roy and...
Verification and Validation in Scientific Computing by Christopher J. Roy and...

$89.99

View Details