Free shipping on orders over $99
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings

by Yu-Fang ChenOndrej Lengal and Thomas Jensen
Paperback
Publication Date: 13/01/2026

Share This Book:

 
ISBN:
9783032156990
9783032156990
Category:
Mathematical theory of computation
Format:
Paperback
Publication Date:
13-01-2026
Publisher:
Springer Nature Switzerland AG
Country of origin:
Switzerland
Pages:
410
Dimensions (mm):
235x155mm

Click 'Notify Me' to get an email alert when this item becomes available

Reviews

Be the first to review Verification.