Formal methods of program verification and specification

Formal methods of program verification and specification

Podrobná bibliografie
Další autoři: Berg, H. K.
Médium: Kniha
Jazyk:English
Vydáno: Englewood Cliffs, N.J. Prentice-Hall c1982.
Témata:
Computer programs > Specification.
Computer programs > Verification.