This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
Formal Methods in Computer Science
Parastā cena
€212,19
Akcijas cena
€212,19
Parastā cena
€218,75
Vienības cena/ izmantojot
Izvēloties šo opciju, tiks atsvaidzināta visa lapa.