Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

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 Computer Aided Verification

More books from Springer International Publishing

bigCover of the book Top-Quark Pair Production Cross Sections and Calibration of the Top-Quark Monte-Carlo Mass by

bigCover of the book Production Yield of Muon-Induced Neutrons in Lead by

bigCover of the book Theory of Hematopoiesis Control by

bigCover of the book Analysis and Design of Singular Markovian Jump Systems by

bigCover of the book Model Reduction of Parametrized Systems by

bigCover of the book Precision Molecular Pathology of Myeloid Neoplasms by

bigCover of the book Phytoremediation by

bigCover of the book Geodetic Boundary Value Problem: the Equivalence between Molodensky’s and Helmert’s Solutions by

bigCover of the book String Processing and Information Retrieval by

bigCover of the book Nonlinear Systems, Vol. 1 by

bigCover of the book Polysaccharide Based Supercapacitors by

bigCover of the book Advances in Efficiency and Productivity by

bigCover of the book HCI for Children with Disabilities by

bigCover of the book Surveys in Differential-Algebraic Equations IV 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