Program construction and verification /

other_versions_link
Bibliografski detalji
Glavni autor: Backhouse, Roland C .
Format: Printed Book
Jezik:English
Izdano: London : Prentice -Hall International, Inc. , 1986.
Teme:
Program verification

Similar Items