
Program verification
de Timothy R. Colburn, James H. Fetzer
Materias
Ediciones (2)
- Program verification (1993)
Kluwer Academic Publishers · inglés
- Program Verification (1899)
Springer · inglés · ISBN 9780792319658

de Timothy R. Colburn, James H. Fetzer
Kluwer Academic Publishers · inglés
Springer · inglés · ISBN 9780792319658
2000