Description: Verification, Model Checking, and Abstract Interpretation Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16?21, 2020, Proceedings Author(s): Dirk Beyer, Damien Zufferey Format: Paperback Publisher: Springer Nature Switzerland AG, Switzerland Imprint: Springer Nature Switzerland AG ISBN-13: 9783030393212, 978-3030393212 Synopsis 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: 57.87 GBP
Location: Aldershot
End Time: 2024-11-16T09:14:20.000Z
Shipping Cost: 36.89 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Verification, Model Checking, and Abstract Interpretation
Item Height: 235 mm
Item Width: 155 mm
Series: Lecture Notes in Computer Science
Author: Damien Zufferey, Dirk Beyer
Publication Name: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings
Format: Paperback
Language: English
Publisher: Springer Nature Switzerland A&G
Subject: Computer Science
Publication Year: 2020
Type: Textbook
Item Weight: 741 g
Number of Pages: 471 Pages
