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 Selfie Citizenship by

bigCover of the book Raising Capital or Improving Risk Management and Efficiency? by

bigCover of the book Reliability and Statistics in Transportation and Communication by

bigCover of the book Organizational Psychology and Evidence-Based Management by

bigCover of the book Globalization, EU Democracy Assistance and the World Social Forum by

bigCover of the book Context-Aware Systems and Applications by

bigCover of the book Greening Video Distribution Networks by

bigCover of the book The Complementarity Regime of the International Criminal Court by

bigCover of the book Media Transatlantic: Developments in Media and Communication Studies between North American and German-speaking Europe by

bigCover of the book School Effectiveness and Educational Management by

bigCover of the book Fundamentals of Spherical Array Processing by

bigCover of the book Target Volume Delineation for Conformal and Intensity-Modulated Radiation Therapy by

bigCover of the book SOFSEM 2019: Theory and Practice of Computer Science by

bigCover of the book Laser-Driven Particle Acceleration Towards Radiobiology and Medicine by

bigCover of the book Protestantism in Xiamen 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