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 Postnationalism and the Challenges to European Integration in Greece by

bigCover of the book Advanced Glaucoma Surgery by

bigCover of the book Production and Breeding of Chilli Peppers (Capsicum spp.) by

bigCover of the book Mental Health and Addiction Care in the Middle East by

bigCover of the book Electronic Word of Mouth (eWOM) in the Marketing Context by

bigCover of the book Logistics Matters and the U.S. Army in Occupied Germany, 1945-1949 by

bigCover of the book Functionals of Multidimensional Diffusions with Applications to Finance by

bigCover of the book Nurse Educator's Guide to Best Teaching Practice by

bigCover of the book Conventional Water Resources and Agriculture in Egypt by

bigCover of the book Advances in Computer Entertainment Technology by

bigCover of the book Ruin Porn and the Obsession with Decay by

bigCover of the book Multivariate Time Series With Linear State Space Structure by

bigCover of the book Large-Scale Studies in Mathematics Education by

bigCover of the book Historical Farmland in China During 1661-1980 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