Formal methods of program verification

other_versions_link
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Berg,H.K
Μορφή: Printed Book
Γλώσσα:English
Έκδοση: New Jersey Prentice-Hall
Περιγραφή
Φυσική περιγραφή:ic,207
ISBN:0133288072

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