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 Care at the End of Life by

bigCover of the book Sports Science Research and Technology Support by

bigCover of the book Epigenetics of Infectious Diseases by

bigCover of the book An Ecological Theory of Free Expression by

bigCover of the book Dependable Software Engineering. Theories, Tools, and Applications by

bigCover of the book Adipose Tissue Biology by

bigCover of the book Teaching Urban Morphology by

bigCover of the book Discrete and Computational Geometry and Graphs by

bigCover of the book Geomatic Approaches for Modeling Land Change Scenarios by

bigCover of the book Economic Growth and Development by

bigCover of the book Mathematics and Computation in Music by

bigCover of the book Cropping Pattern Modification to Overcome Abiotic Stresses by

bigCover of the book Rough Sets and Knowledge Technology 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