Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing

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 Trends in Neurovascular Interventions by

bigCover of the book Distributed Systems with Persistent Memory by

bigCover of the book Unconventional Methods for Oil & Gas Exploration in Cuba by

bigCover of the book The Paradox of Citizenship in American Politics by

bigCover of the book Industrial Applications for Intelligent Polymers and Coatings by

bigCover of the book Recent Advances in Geotechnical Research by

bigCover of the book Introduction to Artificial Intelligence by

bigCover of the book Respiratory Treatment and Prevention by

bigCover of the book Recent Advances in Technology Research and Education by

bigCover of the book Algorithms and Architectures for Parallel Processing by

bigCover of the book Algorithms in Bioinformatics by

bigCover of the book Human-Computer Interaction. Perspectives on Design by

bigCover of the book A Student's Guide Through the Great Physics Texts by

bigCover of the book Polymers on the Crime Scene by

bigCover of the book Modeling Cellular 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