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 Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 3 de julio de 2019 |
| ISBN13 | 9781498775328 |
| Editores | Taylor & Francis Inc |
| Páginas | 294 |
| Dimensiones | 231 × 156 × 24 mm · 470 g |
| Lengua | Inglés |