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 e-Infrastructure and e-Services for Developing Countries by

bigCover of the book Principles of Orthopedic Practice for Primary Care Providers by

bigCover of the book The Securitization of the Roma in Europe by

bigCover of the book Catalogue of Meteorites from South America by

bigCover of the book Competitiveness of CEE Economies and Businesses by

bigCover of the book Iris Image Recognition by

bigCover of the book New Frontiers in Organoselenium Compounds by

bigCover of the book The Changing Governance of Higher Education and Research by

bigCover of the book Clinical Guide to Heart Transplantation by

bigCover of the book Ultrafast Nonlinear Optics by

bigCover of the book Topological Dimension and Dynamical Systems by

bigCover of the book Kato's Type Inequalities for Bounded Linear Operators in Hilbert Spaces 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