Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Big bigCover of Leveraging Applications of Formal Methods, Verification and Validation. Verification

More books from Springer International Publishing

bigCover of the book Ad Hoc Networks by
bigCover of the book Personal Assistants: Emerging Computational Technologies by
bigCover of the book Rethinking Taxation in Latin America by
bigCover of the book Statistical Physics of Wave Interactions by
bigCover of the book The Politics of the Sacred in America by
bigCover of the book Convolution Copula Econometrics by
bigCover of the book Climate Change, Glacier Response, and Vegetation Dynamics in the Himalaya by
bigCover of the book Morphology of Electrochemically and Chemically Deposited Metals by
bigCover of the book Springer Series in Light Scattering by
bigCover of the book Web and Wireless Geographical Information Systems by
bigCover of the book The Mobile Learning Voyage - From Small Ripples to Massive Open Waters by
bigCover of the book Nanoparticles in the Fight Against Parasites by
bigCover of the book No Wonder You Wonder! by
bigCover of the book Luminescence in Electrochemistry by
bigCover of the book Vascular Neurosurgery 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