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 Digital Cultural Heritage by

bigCover of the book Translational Approaches to Autism Spectrum Disorder by

bigCover of the book Sound and the Aesthetics of Play by

bigCover of the book Progress in Photon Science by

bigCover of the book Physics of Wurtzite Nitrides and Oxides by

bigCover of the book Militant Buddhism by

bigCover of the book Outlooks and Insights on Group Decision and Negotiation by

bigCover of the book Wildlife Tourism, Environmental Learning and Ethical Encounters by

bigCover of the book Synthesis of Heterocycles in Contemporary Medicinal Chemistry by

bigCover of the book Computer Vision -- ACCV 2014 by

bigCover of the book Practical Aspects of Declarative Languages by

bigCover of the book Constraining Supersymmetric Models by

bigCover of the book Geography Education for Global Understanding by

bigCover of the book Theoretical Physics 7 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