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
Big bigCover of Verification, Model Checking, and Abstract Interpretation

More books from Springer Berlin Heidelberg

bigCover of the book Cavity Optomechanics by
bigCover of the book The Mechanoreceptors of the Mammalian Skin Ultrastructure and Morphological Classification by
bigCover of the book Mikroökonomik für Bachelorstudenten by
bigCover of the book No fungi no future by
bigCover of the book Mitarbeitermotivation ist lernbar by
bigCover of the book Conformal Field Theories and Tensor Categories by
bigCover of the book Bone and Joint Disorders of the Foot and Ankle by
bigCover of the book Handbook of Spectral Lines in Diamond by
bigCover of the book Mathematik ist wunderwunderschön by
bigCover of the book Stoffliche Nutzung von Braunkohle by
bigCover of the book Morbus Menière by
bigCover of the book Surface Chemistry and Macroscopic Assembly of Graphene for Application in Energy Storage by
bigCover of the book Early Detection of Breast Cancer by
bigCover of the book Hypertension in Postmenopausal Women by
bigCover of the book The Human Yolk Sac and Yolk Sac Tumors 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