Formal Modeling and Analysis of Timed Systems

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Nonfiction, Computers, Advanced Computing, Theory, General Computing, Programming

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Formal Modeling and Analysis of Timed Systems

More books from Springer International Publishing

bigCover of the book Scientific Peer Reviewing by

$bigCover of the book Refractories for Aluminium by$

bigCover of the book Terania Creek and the Forging of Modern Environmental Activism by

bigCover of the book Scholarly Adventures in Digital Humanities by

bigCover of the book Languages, Design Methods, and Tools for Electronic System Design by

bigCover of the book Creativity and Technology in Mathematics Education by

bigCover of the book Ego-histories of France and the Second World War by

bigCover of the book Descriptions, Translations and the Caribbean by

bigCover of the book The Evolution of Consciousness by

bigCover of the book Social Informatics by

bigCover of the book Algorithms for Computational Biology by

bigCover of the book Enhancing Teaching and Learning in the Dutch Vocational Education System by

bigCover of the book Macroeconomic Theory by

bigCover of the book Stochastic Parameterizing Manifolds and Non-Markovian Reduced Equations by

bigCover of the book Intelligent Technologies for Interactive Entertainment 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