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 Advances in Social & Occupational Ergonomics by

bigCover of the book Whistleblowing in the World by

bigCover of the book Collaboration in a Hyperconnected World by

bigCover of the book Periodic Flows to Chaos in Time-delay Systems by

bigCover of the book Concise Guide to Software Engineering by

bigCover of the book Direct and Large-Eddy Simulation IX by

bigCover of the book Data and Decision Sciences in Action by

bigCover of the book Public Debt, Sustainability and Economic Growth by

bigCover of the book Risks and Security of Internet and Systems by

bigCover of the book High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation by

bigCover of the book Free Radicals in ENT Pathology by

bigCover of the book Laborpraxis Band 2: Messmethoden by

bigCover of the book Mining Intelligence and Knowledge Exploration by

bigCover of the book The Women Who Popularized Geology in the 19th Century 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