Program construction and verification /

other_versions_link
Bibliografiske detaljer
Hovedforfatter: Backhouse, Roland C .
Format: Printed Book
Sprog:English
Udgivet: London : Prentice -Hall International, Inc. , 1986.
Fag:
Program verification

Lignende værker