Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Formal Techniques for Safety-Critical Systems

More books from Springer International Publishing

bigCover of the book Human Rights and Religion in Educational Contexts by
bigCover of the book Customer Value, Shareholder Wealth, Community Wellbeing by
bigCover of the book The Hip and Pelvis in Sports Medicine and Primary Care by
bigCover of the book Ensuring Quality in Professional Education Volume II by
bigCover of the book Sustainable Leadership for Entrepreneurs and Academics by
bigCover of the book Hypertension and the Brain as an End-Organ Target by
bigCover of the book Educational Journeys, Struggles and Ethnic Identity by
bigCover of the book Thomas Jefferson and his Decimals 1775–1810: Neglected Years in the History of U.S. School Mathematics by
bigCover of the book Theory of Cryptography by
bigCover of the book An Excursion through Elementary Mathematics, Volume II by
bigCover of the book Recent Developments in the Philosophy of Science: EPSA13 Helsinki by
bigCover of the book The Broca-Wernicke Doctrine by
bigCover of the book Dynamics of Civil Structures, Volume 2 by
bigCover of the book Quality in Nuclear Medicine by
bigCover of the book An Introduction to Differential Manifolds 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