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

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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

More books from Springer International Publishing

bigCover of the book Economics of Grids, Clouds, Systems, and Services by

bigCover of the book Public International Law and Human Rights Violations by Private Military and Security Companies by

bigCover of the book Colonial Justice and Decolonization in the High Court of Tanzania, 1920-1971 by

bigCover of the book Modeling Decisions for Artificial Intelligence by

bigCover of the book Advances on Theory and Practice of Robots and Manipulators by

bigCover of the book Ethics in Computing by

bigCover of the book Manis Valuations and Prüfer Extensions II by

bigCover of the book Ultrafast Strong Field Dynamics in Dielectrics by

bigCover of the book Flood Risk Management Strategies and Governance by

bigCover of the book Trends and Applications in Knowledge Discovery and Data Mining by

bigCover of the book Intelligent Control by

bigCover of the book Brain-Machine Interface by

bigCover of the book Recent Advances in Swarm Intelligence and Evolutionary Computation by

bigCover of the book The Political Economy of Robots by

bigCover of the book Coronary Artery CTA 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