Formal Modeling and Analysis of Timed Systems

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Nonfiction, Computers, Advanced Computing, Theory, 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 Energy Harvesting and Energy Efficiency by

bigCover of the book Pathways to Gang Involvement and Drug Distribution by

bigCover of the book Open Data for Education by

bigCover of the book Regions in Transition in the Former Soviet Area by

bigCover of the book Duncan Sandys and the Informal Politics of Britain’s Late Decolonisation by

bigCover of the book Molecular Imaging, Reconstruction and Analysis of Moving Body Organs, and Stroke Imaging and Treatment by

bigCover of the book Negotiating Normativity by

bigCover of the book Transgressive Humor of American Women Writers by

bigCover of the book Nonlinear Dynamics and Quantum Chaos by

bigCover of the book Space Charge Physics for Particle Accelerators by

bigCover of the book Cancer of Unknown Primary by

bigCover of the book Science Fiction by Scientists by

bigCover of the book Retarded Potentials and Time Domain Boundary Integral Equations by

bigCover of the book Contesting British Chinese Culture 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