Description: Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 19-25, 2020, Proceedings, Paperback by Beyer, Dirk (EDT); Zufferey, Damien (EDT), ISBN 3030393216, ISBN-13 9783030393212, Like New Used, Free shipping in the US This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Price: 102.86 USD
Location: Jessup, Maryland
End Time: 2024-11-16T21:56:55.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Verification, Model Checking, and Abstract Interpretation : 21st
Number of Pages: Xiv, 471 Pages
Language: English
Publication Name: Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, la, USA, January 19-25, 2020, Proceedings
Publisher: Springer International Publishing A&G
Publication Year: 2020
Subject: Intelligence (Ai) & Semantics, Hardware / General, Computer Science
Item Weight: 26.1 Oz
Type: Textbook
Item Length: 9.3 in
Subject Area: Computers
Author: Damien Zufferey
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
