Mathematical theory of program correctness.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	de Bakker, Jaco
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Englewood Cliff, New Jersey Prentice Hall International