Conte aos seus amigos sobre este item:
Formal Methods in Computer Science - Textbooks in Mathematics 1º edição
Jiacun Wang
Formal Methods in Computer Science - Textbooks in Mathematics 1º edição
Jiacun Wang
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
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 25 de junho de 2019 |
ISBN13 | 9780367225704 |
Editoras | Taylor & Francis Ltd |
Páginas | 294 |
Dimensões | 566 g |
Idioma | English |
Mostrar tudo
Mais por Jiacun Wang
Ver tudo de Jiacun Wang ( por exemplo Paperback Book e Hardcover Book )