2 Ebooki wg West Long Branch, New Jersey, USA) Wang Jiacun (Monmouth University
William (Monmouth University, West Long Branch, New Jersey, USA) Tepfenhart & Jiacun (Monmouth University, West Long Branch, New Jersey, USA) 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 …
PDF
DRM
€92.42
William (Monmouth University, West Long Branch, New Jersey, USA) Tepfenhart & Jiacun (Monmouth University, West Long Branch, New Jersey, USA) 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 …
EPUB
DRM
€91.44
