When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Whsmith.co.uk

Springer Nature Switzerland AG Verification, Model Checking, And Abstract Interpretation : 21st International Conference, Vmcai 2020, Orleans, La, Usa, January 16–21, 2020, Proceedings

Whsmith.co.uk

Springer Nature Switzerland AG Verification, Model Checking, And Abstract Interpretation : 21st International Conference, Vmcai 2020, Orleans, La, Usa, January 16–21, 2020, Proceedings

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.

from £64.39
Seller: Whsmith.co.uk
Buy Now
Springer Nature Switzerland AG Software Fault Prevention, Verification, And Validation : First International Symposium, Sfpvv 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings
from£45.99
Springer Nature Switzerland AG Advances In Model And Data Engineering In The Digitalization Era : Medi 2021 International Workshops: Detect, Sias, Csmml, Bioc, Heda, Tallinn, Estonia, June 21–23, 2021, Proceedings
from£64.39
Springer Nature Switzerland AG Model Checking, Synthesis, And Learning : Essays Dedicated To Bengt Jonsson On The Occasion Of His 60th Birthday
from£50.59
Springer Nature Switzerland AG Ad Hoc Networks And Tools For It : 13th Eai International Conference, Adhocnets 2021, Virtual Event, December 6–7, 2021, And 16th Eai International Conference, Tridentcom 2021, Virtual Event, November
from£64.39

Latest products

By Continuing to use this site you confirm, your consent to us and our partners collecting data from you, using cookies to serve personalised ads, tailoring content to you and optimising the site itself. You can learn more about the collection and use of your data and to change your preferences at any time by seeing our Privacy Policy and Cookie Policy.
Accept