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