Recomienda este artículo a tus amigos:
Specification and Proof in Real Time CSP - Distinguished Dissertations in Computer Science Davies, Jim (University of Oxford)
Precio
Mex$ 1.358
sin IVA
Pedido desde almacén remoto
Entrega prevista 21 de jul. - 6 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Davies, Jim (University of Oxford)
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
Specification and Proof in Real Time CSP - Distinguished Dissertations in Computer Science
Davies, Jim (University of Oxford)
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.
200 pages, black & white illustrations
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 12 de enero de 2012 |
| ISBN13 | 9781107403864 |
| Editores | Cambridge University Press |
| Páginas | 200 |
| Dimensiones | 169 × 244 × 13 mm · 352 g |
| Lengua | Inglés |
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/100/9781009694100.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2027-principles-of-behavioral-neuroscience-paperback-book&class=scaled&v=1781538992)
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/124/9781009694124.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2027-principles-of-behavioral-neuroscience-hardcover-book&class=scaled&v=1781538969)
![Cover for Fontaine, Lise (Universite du Quebec a Trois-Rivieres) · Analysing English Grammar: A Systemic Functional Introduction (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/905/9781009437905.jpg?fontaine-lise-universite-du-quebec-a-trois-rivieres-2027-analysing-english-grammar-a-systemic-functional-introduction-paperback-book&class=scaled&v=1781538937)
![Cover for Jackson, Robert J. (University of Redlands, California) · Global Politics in the 21st Century: War in Peacetime (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/882/9781009114882.jpg?jackson-robert-j-university-of-redlands-california-2026-global-politics-in-the-21st-century-war-in-peacetime-paperback-book&class=scaled&v=1778756904)
![Cover for Cunningham, Daniel W. (California State University, Fresno) · Set Theory: A First Course - Cambridge Mathematical Textbooks (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/404/9781009583404.jpg?cunningham-daniel-w-california-state-university-fresno-2026-set-theory-a-first-course-cambridge-mathematical-textbooks-paperback-book&class=scaled&v=1781538936)
![Cover for Lee, Yong-Shik (Law and Development Institute) · Reclaiming Development in the World Trading System: Principles of International Trade Law - Cambridge International Trade and Economic Law (Paperback Book) [3 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/219/9781009552219.jpg?lee-yong-shik-law-and-development-institute-2026-reclaiming-development-in-the-world-trading-system-principles-of-international-trade-law-cambridge-international-trade-and-economic-law-paperback-book&class=scaled&v=1782134137)
