Program derivation : the development of programs from specifications /

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Dromey, R. G. (R. Geoffrey), 1946-
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Sydney : Addison-Wesley, 1989.
Σειρά:International computer science series
Θέματα:
Περιγραφή
Περιγραφή τεκμηρίου:Includes index.
Φυσική περιγραφή:xvi, 630 p. ; 24 cm.
Βιβλιογραφία:Bibliography: p. 618.
ISBN:0201416247