An introduction to formal program verification

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Mili, Ali
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York Van Nostrand Reinhold c1985.
Θέματα:	Computer programs > Verification.