Computer Aided Verification

Computer Aided Verification

ayon kay Rajeev Alur
3/5
Unang nai-publish
2004
Mga tagapaglathala
Springer London· Limited
Mga paksa
Computer software·Testing

Mga libro

Mga katulad na libro