Formal methods of program verification and specification

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Berg, H. K.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Englewood Cliffs, N.J. Prentice-Hall c1982.
Θέματα:	Computer programs > Specification. Computer programs > Verification.