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 Die Biotechnologie-Industrie by

bigCover of the book Evidenzbasierung in der Suchtprävention by

bigCover of the book Lectures on LHC Physics by

bigCover of the book Eine Einführung in die Statistik und ihre Anwendungen by

bigCover of the book Experimental and Computational Solutions of Hydraulic Problems by

bigCover of the book Staatssanierung durch Enteignung? by

bigCover of the book Diffusion Chamber Culture by

bigCover of the book Phonetische und phonologische Störungen bei Kindern by

bigCover of the book Hidden Collective Factors in Speculative Trading by

bigCover of the book Berufsethos kontra Ökonomie by

bigCover of the book Chemistry and Biological Actions of 4-Nitroquinoline 1-Oxide by

bigCover of the book Gastric Inhibitory Polypeptide by

bigCover of the book Neurotrophic Factors by

bigCover of the book Space, Time, and Spacetime 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