An introduction to formal specification an Z

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Potter Ben (Συγγραφέας), Sinclair Jane (Συγγραφέας), Till David (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Prentice Hall
Έκδοση:2nd ed.
Περιγραφή
Φυσική περιγραφή:xiv, 434 p. 24 cm.
ISBN:0-13-242207-7