Temporal Logics in Computer Science

Finite-State Systems

Nonfiction, Science & Nature, Mathematics, Discrete Mathematics, Computers, Programming, Programming Languages, General Computing
Big bigCover of Temporal Logics in Computer Science

More books from Cambridge University Press

bigCover of the book Anatomy Vivas for the Intercollegiate MRCS by
bigCover of the book Reading the Past by
bigCover of the book Rule of Law for Nature by
bigCover of the book The Cambridge Handbook of Service Learning and Community Engagement by
bigCover of the book Making Policy in a Complex World by
bigCover of the book Alan Bush, Modern Music, and the Cold War by
bigCover of the book Environmental Economics by
bigCover of the book The Cambridge Companion to the Literature of the Crusades: Volume 1 by
bigCover of the book Methods of Mathematical Physics by
bigCover of the book Motivation in War by
bigCover of the book An Introduction to Computational Stochastic PDEs by
bigCover of the book Teaching, Learning, and Visual Literacy by
bigCover of the book Anti-Imperial Metropolis by
bigCover of the book Waves in Oceanic and Coastal Waters by
bigCover of the book Mozart's Chamber Music with Keyboard 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