Computer Aided Verification

Computer Aided Verification

tarapyndan Rajeev Alur
3/5
Ilkinji çap edildi
2004
Neşirýatçylar
Springer London· Limited
Mowzuk
Computer software·Testing

Kitaplar

Şuňa meňzeş kitaplar