Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Formal Techniques for Safety-Critical Systems

More books from Springer International Publishing

bigCover of the book The Practice of Enterprise Modeling by
bigCover of the book Models and Theories in Social Systems by
bigCover of the book Social Phenomena by
bigCover of the book Effects of Insurance on Maritime Liability Law by
bigCover of the book Nantgarw and Swansea Porcelains by
bigCover of the book Teaching Struggling Students by
bigCover of the book Handbook of Ratings by
bigCover of the book Separably Injective Banach Spaces by
bigCover of the book Maimonides for Moderns by
bigCover of the book Astrophysics Is Easy! by
bigCover of the book Travel Industry Economics by
bigCover of the book Internet of Things Technologies for HealthCare by
bigCover of the book Principles of Osteoimmunology by
bigCover of the book 1st Karl Schwarzschild Meeting on Gravitational Physics by
bigCover of the book Proceedings of ELM-2015 Volume 2 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