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 Electronic Government and the Information Systems Perspective by

bigCover of the book Laser Pulse Heating of Surfaces and Thermal Stress Analysis by

bigCover of the book Trends and Advances in Information Systems and Technologies by

bigCover of the book A Comparative Political Ecology of Exurbia by

bigCover of the book The Climate of the Arctic by

bigCover of the book The Function of Emotions by

bigCover of the book Nonlinear Systems, Vol. 1 by

bigCover of the book Convex Optimization in Normed Spaces by

bigCover of the book Variational Formulation of Fluid and Geophysical Fluid Dynamics by

bigCover of the book Computations with Modular Forms by

bigCover of the book Electronic Word of Mouth (eWOM) in the Marketing Context by

bigCover of the book Information Technology for Management by

bigCover of the book Advances in Visual Informatics by

bigCover of the book Distal Radius Fractures by

bigCover of the book Computer Vision – ACCV 2018 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