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
Įprasta kaina
€99,20
Pardavimo kaina
€99,20
Įprasta kaina
€102,74
Vieneto kaina/ per
Pasirinkus pasirinkimą bus atnaujintas visas puslapis.
