Jiacun Wang
Broschiertes Buch

Formal Methods in Computer Science

Versandkostenfrei!
Versandfertig in 1-2 Wochen
108,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
54 °P sammeln!
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.