Recomienda este artículo a tus amigos:
Reactive Systems: Modelling, Specification and Verification Aceto, Luca (University of Iceland, Reykjavik)
Precio
$ 149,49
sin IVA
Pedido desde almacén remoto
Entrega prevista 30 de jun. - 13 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Reactive Systems: Modelling, Specification and Verification
Aceto, Luca (University of Iceland, Reykjavik)
This accessible text describes the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Offering a balanced introduction for graduate students, the book describes all the various approaches, their strengths and weaknesses, and when they are best used.
300 pages, 28 b/w illus. 7 tables 188 exercises
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 9 de agosto de 2007 |
| ISBN13 | 9780521875462 |
| Editores | Cambridge University Press |
| Páginas | 302 |
| Dimensiones | 183 × 256 × 22 mm · 666 g |
| Lengua | Inglés |
![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 Chen, Cher Weixia (George Mason University, Virginia) · International Human Rights International Human Rights: A Survey (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/013/9781009855013.jpg?chen-cher-weixia-george-mason-university-virginia-2026-international-human-rights-international-human-rights-a-survey-paperback-book&class=scaled&v=1779708744)
