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 Strategies and Techniques for Quality and Flexibility by

bigCover of the book Singular Perturbations by

bigCover of the book Police Misconduct in Brooklyn by

bigCover of the book Digital Logic for Computing by

bigCover of the book Indicators of Quality of Life in Latin America by

bigCover of the book E-Life: Web-Enabled Convergence of Commerce, Work, and Social Life by

bigCover of the book Context-Aware Systems and Applications, and Nature of Computation and Communication by

bigCover of the book Systems Pharmacology and Pharmacodynamics by

bigCover of the book The Politics of Power by

bigCover of the book A Person-Centered Approach to Psychospiritual Maturation by

bigCover of the book Solidarity and the 'Refugee Crisis' in Europe by

bigCover of the book Non-perturbative Description of Quantum Systems by

bigCover of the book Logical Foundations of Computer Science by

bigCover of the book Smart Objects and Technologies for Social Good by

bigCover of the book Heavy Metal Contamination of Soils 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