DaftarIsitemplate

Call Number

005.3 Ber f

Title

Formal methods of program verification and specification

Author

Berg, Helmut K.;

Publisher

London: Prentice Hall, 1982

Subject

Computer programs-verification; Computer program-specifications

Location