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 Rape Culture, Gender Violence, and Religion by
bigCover of the book From Aristotle to Schrödinger by
bigCover of the book The Human Being, the World and God by
bigCover of the book Fair Reflection of Society in Judicial Systems - A Comparative Study by
bigCover of the book Pharmacological Basis of Acute Care by
bigCover of the book From Special Relativity to Feynman Diagrams by
bigCover of the book Information Technology and Computational Physics by
bigCover of the book Well-Being, Positive Peer Relations and Bullying in School Settings by
bigCover of the book Antibacterials by
bigCover of the book Computer Algebra and Polynomials by
bigCover of the book Art after the Hipster by
bigCover of the book Development Aid—Populism and the End of the Neoliberal Agenda by
bigCover of the book Adaptive Semantics Visualization by
bigCover of the book Movement in Renaissance Literature by
bigCover of the book Regional Growth and Sustainable Development in Asia 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