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 Energy Technology 2019 by

bigCover of the book Hope and Wish Image in Music Technology by

bigCover of the book Peace Research and Peacebuilding by

bigCover of the book Risks and Resilience of Collaborative Networks by

bigCover of the book Rationality, Virtue, and Liberation by

bigCover of the book Operational Research by

bigCover of the book Aviation Risk and Safety Management by

bigCover of the book Clinical Pearls in Diagnostic Cardiac Computed Tomographic Angiography by

bigCover of the book It From Bit or Bit From It? by

bigCover of the book Climate Change, Energy Use, and Sustainability by

bigCover of the book Sensors, Algorithms and Applications for Structural Health Monitoring by

bigCover of the book American Jewish Year Book 2017 by

bigCover of the book Mindful Prevention of Burnout in Workplace Health Management by

bigCover of the book How Socio-Cultural Codes Shaped Violent Mobilization and Pro-Insurgent Support in the Chechen Wars by

bigCover of the book Validating Neuro-Computational Models of Neurological and Psychiatric Disorders 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