Φορτώνει......

Formal specification and software development

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Bjorner, Diner
Άλλοι συγγραφείς: Jones, Cliff B.
Μορφή: Printed Book
Γλώσσα:English
Έκδοση: New Jersy Prentice-hall international 1982
Σειρά:Printice-Hall International series in computer science
Θέματα:

Παρόμοια τεκμήρια