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 Tools for High Performance Computing 2014 by

bigCover of the book Evidence-Based Periodontal and Peri-Implant Plastic Surgery by

bigCover of the book Evacuation Modeling Trends by

bigCover of the book Systems Thinking and Moral Imagination by

bigCover of the book Material Selections by a Hybrid Multi-Criteria Approach by

bigCover of the book Information System Development by

bigCover of the book Twenty-First Century Quantum Mechanics: Hilbert Space to Quantum Computers by

bigCover of the book The Modes of Human Rights Literature by

bigCover of the book Entertainment Computing - ICEC 2016 by

bigCover of the book Votes, Parties, and Seats by

bigCover of the book Persistent Creativity by

bigCover of the book Climate Change, Energy Use, and Sustainability by

bigCover of the book Representing Irish Religious Histories by

bigCover of the book Advances in Body Area Networks I 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