Recomienda este artículo a tus amigos:
Specification of Software Systems - Texts in Computer Science 2nd ed. 2011 edition
V.S. Alagar
Specification of Software Systems - Texts in Computer Science 2nd ed. 2011 edition
V.S. Alagar
Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.
718 pages, 1, black & white illustrations
Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
Publicado | 28 de marzo de 2011 |
ISBN13 | 9780857292766 |
Editores | Springer London Ltd |
Páginas | 646 |
Dimensiones | 159 × 240 × 44 mm · 1,11 kg |
Lengua | English |