Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

More books from Springer International Publishing

bigCover of the book Medicine, Knowledge and Venereal Diseases in England, 1886-1916 by
bigCover of the book Formal Aspects of Component Software by
bigCover of the book Perspectives of System Informatics by
bigCover of the book Asymmetric Synthesis of Bioactive Lactones and the Development of a Catalytic Asymmetric Synthesis of α-Aryl Ketones by
bigCover of the book Optical Characterization of Thin Solid Films by
bigCover of the book Will Miami Survive? by
bigCover of the book The Lidov-Kozai Effect - Applications in Exoplanet Research and Dynamical Astronomy by
bigCover of the book Cooperative Spectrum Sensing and Resource Allocation Strategies in Cognitive Radio Networks by
bigCover of the book Biochemistry of Beer Fermentation by
bigCover of the book Fair Development in China by
bigCover of the book Post 2030-Agenda and the Role of Space by
bigCover of the book Balanced Phono-Amps by
bigCover of the book Obesity, Type 2 Diabetes and the Adipose Organ by
bigCover of the book Carl Rückert's Memoirs of the Franco-Prussian War by
bigCover of the book Partial Differential Equations: Modeling, Analysis and Numerical Approximation 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