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 Biology and Ecology of Antarctic Krill by

bigCover of the book Efficient Biometric Indexing and Retrieval Techniques for Large-Scale Systems by

bigCover of the book Cancer Neurology in Clinical Practice by

bigCover of the book National Security, Statecentricity, and Governance in East Asia by

bigCover of the book Analog and Digital Signal Analysis by

bigCover of the book Models of Calcium Signalling by

bigCover of the book Cultural Competence in Applied Psychology by

bigCover of the book Advances in Human Factors, Business Management and Society by

bigCover of the book Advances in Business ICT: New Ideas from Ongoing Research by

bigCover of the book Exploratory Data Analysis in Business and Economics by

bigCover of the book Basic Concepts in Nuclear Physics: Theory, Experiments and Applications by

bigCover of the book Essays Reflecting the Art of Political and Social Analysis by

bigCover of the book Variational Analysis of Regular Mappings by

bigCover of the book Theory and Practice of Model Transformations 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