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 Kautilya and Non-Western IR Theory by
bigCover of the book The Quality of Society by
bigCover of the book Quadratic Forms by
bigCover of the book Multi-scale Quantitative Diagenesis and Impacts on Heterogeneity of Carbonate Reservoir Rocks by
bigCover of the book Social Justice, Multicultural Counseling, and Practice by
bigCover of the book Scientific Computing and Algorithms in Industrial Simulations by
bigCover of the book Perspectives on Political Communication in Africa by
bigCover of the book Clinical Medical Ethics by
bigCover of the book Recent Advances in Retinoblastoma Treatment by
bigCover of the book Natural and Artificial Computation for Biomedicine and Neuroscience by
bigCover of the book Biological Measures of Human Experience across the Lifespan by
bigCover of the book Innovative Solutions for Sustainable Supply Chains by
bigCover of the book Smart Information Systems by
bigCover of the book Reduced Modelling of Planar Fuel Cells by
bigCover of the book Fundamentals of Multimedia 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