Program construction and verification /

other_versions_link
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Backhouse, Roland C .
Μορφή: Printed Book
Γλώσσα:English
Έκδοση: London : Prentice -Hall International, Inc. , 1986.
Θέματα:
Program verification

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