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