Powiedz znajomym o tym przedmiocie:
Formal Methods in Computer Science - Textbooks in Mathematics 1. wydanie
Jiacun Wang
Formal Methods in Computer Science - Textbooks in Mathematics 1. wydanie
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
Media | Książki Hardcover Book (Książka z twardym grzbietem i okładką) |
Wydane | 25 czerwca 2019 |
ISBN13 | 9780367225704 |
Wydawcy | Taylor & Francis Ltd |
Strony | 294 |
Wymiary | 566 g |
Język | English |
Pokaż wszystko
Więcej od Jiacun Wang
Zobacz wszystko od Jiacun Wang ( np. Paperback Book i Hardcover Book )