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 Discrete Fracture Network Modeling of Hydraulic Stimulation by

bigCover of the book Visible Light Photocatalyzed Redox-Neutral Organic Reactions and Synthesis of Novel Metal-Organic Frameworks by

bigCover of the book India in Space: Between Utility and Geopolitics by

bigCover of the book Solution Business by

bigCover of the book Metastatic Neoplasms in Fine-Needle Aspiration Cytology by

bigCover of the book The Great Music City by

bigCover of the book A Pragmatist Orientation for the Social Sciences in Climate Policy by

bigCover of the book Information and Communications Technology in Primary School Education by

bigCover of the book Proceedings of the Eighth International Conference on Soft Computing and Pattern Recognition (SoCPaR 2016) by

bigCover of the book Adaptive Resource Management and Scheduling for Cloud Computing by

bigCover of the book Reconstruction, Segmentation, and Analysis of Medical Images by

bigCover of the book After-School Programs to Promote Positive Youth Development by

bigCover of the book Living and Dying in a Virtual World by

bigCover of the book Mobility of Visually Impaired People by

bigCover of the book From Single Molecules to Nanoscopically Structured Materials 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