Vertel uw vrienden over dit artikel:
Formal Methods in Computer Science - Textbooks in Mathematics 1e uitgave
Jiacun Wang
Formal Methods in Computer Science - Textbooks in Mathematics 1e uitgave
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 | Boeken Hardcover Book (Boek met harde rug en kaft) |
Vrijgegeven | 25 juni 2019 |
ISBN13 | 9780367225704 |
Uitgevers | Taylor & Francis Ltd |
Pagina's | 294 |
Afmetingen | 566 g |
Taal en grammatica | Engels |
Alles tonen
Meer door Jiacun Wang
Bekijk alles van Jiacun Wang ( bijv. Paperback Book en Hardcover Book )