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 Peripheral Ulcerative Keratitis by

bigCover of the book Cosmopolitanism: Educational, Philosophical and Historical Perspectives by

bigCover of the book Educational Research: Discourses of Change and Changes of Discourse by

bigCover of the book History of Number by

bigCover of the book Proceedings of the 14th International Scientific Conference: Computer Aided Engineering by

bigCover of the book Materials Processing Fundamentals 2018 by

bigCover of the book Ensembles on Configuration Space by

bigCover of the book Biennial Review of Infertility by

bigCover of the book The Poetics of Space and Place in Scottish Literature by

bigCover of the book Continuity Theory by

bigCover of the book Corporate Social Responsibility in Brazil by

bigCover of the book Transmitting and Gaining Data by

bigCover of the book Engaged Anthropology by

bigCover of the book Computing with Foresight and Industry by

bigCover of the book Semantic Web Evaluation Challenge 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