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 Urban Change in Iran by

bigCover of the book Innovation in Clusters by

bigCover of the book Optimization and Approximation by

bigCover of the book The Price of Climate Action by

bigCover of the book Individual Rights in EU Law by

bigCover of the book Theory is History by

bigCover of the book Collaboration Technologies and Social Computing by

bigCover of the book The Palgrave Handbook of Unconventional Risk Transfer by

bigCover of the book Whole-Body Impedance Control of Wheeled Humanoid Robots by

bigCover of the book Ethnic Landscapes of America by

bigCover of the book Simulation in Healthcare Education by

bigCover of the book The Normative and the Natural by

bigCover of the book The Strauss-Krüger Correspondence by

bigCover of the book Energy Politics and Rural Development in Sub-Saharan Africa by

bigCover of the book Anticipating Future Innovation Pathways Through Large Data Analysis 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