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 Neural Information Processing by

bigCover of the book Combinatorial Optimization by

bigCover of the book The Art of Science by

bigCover of the book Theories to Inform Superior Health Informatics Research and Practice by

bigCover of the book Handbook of Theory and Practice of Sustainable Development in Higher Education by

bigCover of the book Correlated Random Systems: Five Different Methods by

bigCover of the book The Union of Chemistry and Physics by

bigCover of the book Sustainability in Innovation and Entrepreneurship by

bigCover of the book Theories of Local Immigration Policy by

bigCover of the book Úrsula Oswald Spring: Pioneer on Gender, Peace, Development, Environment, Food and Water by

bigCover of the book Networking of Mutagens in Environmental Toxicology by

bigCover of the book Human Mental Workload: Models and Applications by

bigCover of the book Innovative Security Solutions for Information Technology and Communications by

bigCover of the book Knowledge Science, Engineering and Management by

bigCover of the book Strategic Decisions and Sustainability Choices 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