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 Multiscale Modeling of Heterogeneous Structures by

bigCover of the book Why Every Fly Counts by

bigCover of the book Concepts and Trends in Healthcare Information Systems by

bigCover of the book Theory and Applications of Models of Computation by

bigCover of the book Subversive Adaptations by

bigCover of the book Chemical Profiles of Industrial Cow’s Milk Curds by

bigCover of the book Feminist Approaches to Media Theory and Research by

bigCover of the book Advances in Conceptual Modeling by

bigCover of the book The Ethics of Choosing Children by

bigCover of the book The Well-Being of the Labor Force in Colonial Bombay by

bigCover of the book Academic Scepticism in the Development of Early Modern Philosophy by

bigCover of the book Distributed Computer and Communication Networks by

bigCover of the book Computational Intelligence Applications in Modeling and Control by

bigCover of the book Darwinian Biolinguistics by

bigCover of the book Dynamics of Underactuated Multibody Systems 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