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 Smart Grid and Innovative Frontiers in Telecommunications by

bigCover of the book Managing Data From Knowledge Bases: Querying and Extraction by

bigCover of the book CFTR and Cystic Fibrosis by

bigCover of the book Argument Evaluation and Evidence by

bigCover of the book Companion Technology by

bigCover of the book Simply Local Flaps by

bigCover of the book Handbook of Sustainability and Social Science Research by

bigCover of the book Complex and Adaptive Dynamical Systems by

bigCover of the book Creating the Future? The 1960s New English Universities by

bigCover of the book Sensory Motor and Behavioral Research in Space by

bigCover of the book Financial Literacy Education by

bigCover of the book Advances in Affective and Pleasurable Design by

bigCover of the book Representing Communism After the Fall by

bigCover of the book Theory of Heavy-Fermion Compounds by

bigCover of the book Crisis Management in Acute Care Settings 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