Recomienda este artículo a tus amigos:
Formal Methods in Computer Science - Textbooks in Mathematics Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA) 1.º edición
Formal Methods in Computer Science - Textbooks in Mathematics
Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA)
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
294 pages, 29 Tables, black and white; 154 Illustrations, black and white
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 25 de junio de 2019 |
| ISBN13 | 9780367225704 |
| Editores | Taylor & Francis Ltd |
| Páginas | 294 |
| Dimensiones | 150 × 220 × 20 mm · 566 g |
| Lengua | Inglés |