Recomienda este artículo a tus amigos:
Z: An Introduction to Formal Methods Diller, Antoni (University of Birmingham) 2.º edición
Z: An Introduction to Formal Methods
Diller, Antoni (University of Birmingham)
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
394 pages, glossary
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 19 de julio de 1994 |
| ISBN13 | 9780471939733 |
| Editores | John Wiley & Sons Inc |
| Páginas | 400 |
| Dimensiones | 244 × 172 × 21 mm · 635 g |