Formal methods in computer science
Auteur :
Wang, Jiacun / Tepfenhart, William
Éditeur :
Taylor & Francis Inc
ISBN :
9781498775328
Date de publication :
3 juil. 2019
Dimensions :
23,4 x 15,6 cm
Poids :
453 g
Langue :
Anglais
Pays d'origine :
USA
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.