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 Logic-Based Program Synthesis and Transformation by

bigCover of the book Arnheim, Gestalt and Media by

bigCover of the book Renewable Energy in the Service of Mankind Vol II by

bigCover of the book Clean Hydrogen Production Methods by

bigCover of the book Computer Systems by

bigCover of the book Advances in Internet, Data & Web Technologies by

bigCover of the book Provably Correct Systems by

bigCover of the book Craft Beverages and Tourism, Volume 2 by

bigCover of the book US and EU External Labor Governance by

bigCover of the book Gastrointestinal Physiology by

bigCover of the book Mechanics of Biological Systems and Materials, Volume 7 by

bigCover of the book Shapes and Dynamics of Granular Minor Planets by

bigCover of the book Complexity in Financial Markets by

bigCover of the book Micro and Precision Manufacturing 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