2 Ebooks by West Long Branch, New Jersey, USA) Tepfenhart William (Monmouth University
Jiacun Wang: Formal Methods in Computer Science
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduce …
PDF
DRM
€92.45
Jiacun Wang: Formal Methods in Computer Science
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduce …
EPUB
DRM
€91.78
