Recomienda este artículo a tus amigos:
The Way of Z: Practical Programming with Formal Methods Jacky, Jonathan (University of Washington)
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Jacky, Jonathan (University of Washington)
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
The Way of Z: Practical Programming with Formal Methods
Jacky, Jonathan (University of Washington)
This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in real projects and showing how to implement them in the C programming language, through case studies in safety-critical systems and other examples from computer graphics, word processing, databases, and object-oriented programming.
372 pages, Illustrations
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 28 de noviembre de 1996 |
| ISBN13 | 9780521559768 |
| Editores | Cambridge University Press |
| Páginas | 372 |
| Dimensiones | 299 × 194 × 27 mm · 668 g |
| Lengua | Inglés |
