Formal Modeling and Analysis of Timed Systems

16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming

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 Prostate Cancer Survivorship by

bigCover of the book Neural Connectomics Challenge by

bigCover of the book Optimization in Electrical Engineering by

bigCover of the book Trends in Cerebrovascular Surgery by

bigCover of the book The Semantic Web by

bigCover of the book European Regulation of Medical Devices and Pharmaceuticals by

bigCover of the book Mycorrhiza - Eco-Physiology, Secondary Metabolites, Nanomaterials by

bigCover of the book Biorefining of Biomass to Biofuels by

bigCover of the book Piezo-Active Composites by

bigCover of the book Brain Informatics and Health by

bigCover of the book Automatic Methods for the Refinement of System Models by

bigCover of the book Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications by

bigCover of the book Statistics of Financial Markets by

bigCover of the book Studies on Speech Production by

bigCover of the book Oxidative Stress in Human Reproduction 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