Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Verification, Model Checking, and Abstract Interpretation

More books from Springer Berlin Heidelberg

bigCover of the book Clinical Applications of SPECT-CT by

bigCover of the book Tree and Forest Measurement by

bigCover of the book Prozessmanagement für Experten by

bigCover of the book Proceedings of the First Symposium on Aviation Maintenance and Management-Volume II by

bigCover of the book Advances in Stromatolite Geobiology by

bigCover of the book Immunology of the Female Genital Tract by

bigCover of the book Anästhesie, Intensivmedizin, Notfallmedizin, Schmerztherapie….in 5 Tagen by

bigCover of the book Customer Knowledge Management by

bigCover of the book Modelling and Optimisation of Flows on Networks by

bigCover of the book Selling Tourism Services at a Distance by

bigCover of the book Advances in Calcium Phosphate Biomaterials by

bigCover of the book Annual Update in Intensive Care and Emergency Medicine 2013 by

bigCover of the book Muscarinic Receptor Subtypes in the GI Tract by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy