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 Supercomputing by
bigCover of the book Territorial Cohesion by
bigCover of the book Computational Diffusion MRI by
bigCover of the book Similarity Search and Applications by
bigCover of the book The Struggles of Identity, Education, and Agency in the Lives of Undocumented Students by
bigCover of the book Noncolorectal, Nonneuroendocrine Liver Metastases by
bigCover of the book James M. Buchanan by
bigCover of the book Animal Perception and Literary Language by
bigCover of the book The Politics of Militant Group Survival in the Middle East by
bigCover of the book Emerging Nanostructured Materials for Energy and Environmental Science by
bigCover of the book Behavior Modeling -- Foundations and Applications by
bigCover of the book Pipelined Multiprocessor System-on-Chip for Multimedia by
bigCover of the book Evidence-Informed Assessment and Practice in Child Welfare by
bigCover of the book Color Atlas of Head and Neck Surgery by
bigCover of the book Professional Error Competence of Preservice Teachers 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