Computer Aided Verification

Computer Aided Verification

απο τον Rajeev Alur
3/5
Πρωτοδημοσιεύτηκε
2004
Εκδότες
Springer London· Limited
Υποκείμενα
Computer software·Testing

Βιβλία

Παρόμοια βιβλία