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
Big bigCover of Formal Modeling and Analysis of Timed Systems

More books from Springer International Publishing

bigCover of the book Public International Law and Human Rights Violations by Private Military and Security Companies by
bigCover of the book Houses in Transformation by
bigCover of the book Sino-Russian Relations in the 21st Century by
bigCover of the book The Pursuit of Human Well-Being by
bigCover of the book Imaging of Male Breast Cancer by
bigCover of the book Confocal Raman Microscopy by
bigCover of the book Paths of Inequality in Brazil by
bigCover of the book Romanian Transnational Families by
bigCover of the book Language and Automata Theory and Applications by
bigCover of the book Advances and New Trends in Environmental Informatics by
bigCover of the book Targeting Autophagy in Cancer Therapy by
bigCover of the book Aristotle’s Practical Philosophy by
bigCover of the book Scalable Uncertainty Management by
bigCover of the book Application of Light Scattering to Coatings by
bigCover of the book Classroom-Oriented Research 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