Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

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 Formal Techniques for Safety-Critical Systems

More books from Springer International Publishing

bigCover of the book Intelligent Computing Theories and Application by

bigCover of the book Modern Stroke Rehabilitation through e-Health-based Entertainment by

bigCover of the book Quantitative Psychology by

bigCover of the book Quantum Measurement by

bigCover of the book Graceful, Harmonious and Magic Type Labelings by

bigCover of the book New Trends in Analysis and Interdisciplinary Applications by

bigCover of the book Intelligence Science and Big Data Engineering by

bigCover of the book Forests in International Law by

bigCover of the book Information Systems Architecture and Technology: Proceedings of 39th International Conference on Information Systems Architecture and Technology – ISAT 2018 by

bigCover of the book Spirit-Filled World by

bigCover of the book Multinational Interest & Development in Africa by

bigCover of the book Spatial Cognition X by

bigCover of the book Computer Vision – ACCV 2016 Workshops by

bigCover of the book Advances in Swarm Intelligence by

bigCover of the book Nonlinear Economic Dynamics and Financial Modelling 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