Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. 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 Combined Stresses in Plants by

bigCover of the book Topological Methods in Data Analysis and Visualization III by

bigCover of the book Antibiotics and Antibiotics Resistance Genes in Soils by

bigCover of the book Codes, Cryptology and Information Security by

bigCover of the book A Mindfulness Intervention for Children with Autism Spectrum Disorders by

bigCover of the book Organizational Innovation and Change by

bigCover of the book Architectures of Small-Cell Networks and Interference Management by

bigCover of the book Business and Sustainability by

bigCover of the book Design and Modeling of Mechanical Systems—III by

bigCover of the book Reversible Logic Synthesis Methodologies with Application to Quantum Computing by

bigCover of the book Rights to Public Space by

bigCover of the book Internet of Things and Big Data Analytics Toward Next-Generation Intelligence by

bigCover of the book Algorithms and Architectures for Parallel Processing by

bigCover of the book Modified Au-Based Nanomaterials Studied by Surface Plasmon Resonance Spectroscopy by

bigCover of the book Retrograde Evolution During Major Extinction Crises 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