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 Multibody Dynamics by
bigCover of the book The Social Bond by
bigCover of the book Exposure to Microbiological Agents in Indoor and Occupational Environments by
bigCover of the book Hyponormal Quantization of Planar Domains by
bigCover of the book Anaerobes in Biotechnology by
bigCover of the book Numerical Mathematics and Advanced Applications ENUMATH 2015 by
bigCover of the book Digital Geoarchaeology by
bigCover of the book Media Representations of the Cultural Other in Turkey by
bigCover of the book Distributed Linear Programming Models in a Smart Grid by
bigCover of the book Imaging and Diagnosis in Pediatric Brain Tumor Studies by
bigCover of the book Energy Management in Wireless Cellular and Ad-hoc Networks by
bigCover of the book The Governance of European Public Goods by
bigCover of the book Modeling, Analysis, and Visualization of Anisotropy by
bigCover of the book New Advances on Chaotic Intermittency and its Applications by
bigCover of the book Representation Theory of Finite Monoids 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