Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. 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 Reintegration Strategies by

bigCover of the book Distributed Systems with Persistent Memory by

bigCover of the book Digital Business by

bigCover of the book Business and Society by

bigCover of the book Technology and Inequality by

bigCover of the book Earthquake Engineering and Structural Dynamics in Memory of Ragnar Sigbjörnsson by

bigCover of the book Physics of Quantum Rings by

bigCover of the book Advances in Human Factors and Systems Interaction by

bigCover of the book Quantum Limits on Measurement and Control of a Mechanical Oscillator by

bigCover of the book Smart Cities, Green Technologies, and Intelligent Transport Systems by

bigCover of the book Systems Thinking for School Leaders by

bigCover of the book Symposium on Real-Time and Hybrid Systems by

bigCover of the book Hardware Security and Trust by

bigCover of the book Economic Integration, Currency Union, and Sustainable and Inclusive Growth in East Africa by

bigCover of the book Globalization, Supranational Dynamics and Local Experiences 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