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 The Living Brain and Alzheimer’s Disease by
bigCover of the book Radiological Anatomy for FRCR Part 1 by
bigCover of the book Modern Trends in Human Leukemia IX by
bigCover of the book Staatssanierung durch Enteignung? by
bigCover of the book Behavioral Neurobiology of Bipolar Disorder and its Treatment by
bigCover of the book Cholecystokinin Antagonists in Gastroenterology by
bigCover of the book CSR und Nachhaltige Innovation by
bigCover of the book Project Knowledge Management by
bigCover of the book Green Building by
bigCover of the book Die Geheimnisse erfolgreichen YouTube-Marketings by
bigCover of the book Shape Memory Implants by
bigCover of the book Strategies and Communications for Innovations by
bigCover of the book Pore-Forming Toxins by
bigCover of the book Handbuch Klinisches Risikomanagement by
bigCover of the book Statistik für Ökonomen 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