An introduction to formal specification an Z

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Potter Ben (Συγγραφέας), Sinclair Jane (Συγγραφέας), Till David (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Prentice Hall
Έκδοση:2nd ed.