Program verification

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Francez, Nissim
Μορφή: Βιβλίο
Έκδοση: Wokingham, Eng. Addison-Wesley Pub. c1992.
Θέματα: