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 Understanding Earth Observation by
bigCover of the book The Doctrine of Being in Hegel’s Science of Logic by
bigCover of the book Social Entrepreneurship by
bigCover of the book Chemistry of Foods: EU Legal and Regulatory Approaches by
bigCover of the book Star Trek and the Politics of Globalism by
bigCover of the book Disadvantaged Workers by
bigCover of the book Dupuytren’s Contracture by
bigCover of the book Future and Emergent Trends in Language Technology by
bigCover of the book Probabilistic Safety Assessment of WWER440 Reactors by
bigCover of the book Kierkegaard, MacIntyre, Williams, and the Internal Point of View by
bigCover of the book Physical Chemistry Essentials by
bigCover of the book Multidetector-Row CT of the Thorax by
bigCover of the book Developments in T Cell Based Cancer Immunotherapies by
bigCover of the book Inequality by
bigCover of the book Geometry and its Applications 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