Program construction and verification /

other_versions_link
Bibliographische Detailangaben
1. Verfasser: Backhouse, Roland C .
Format: Printed Book
Sprache:English
Veröffentlicht: London : Prentice -Hall International, Inc. , 1986.
Schlagworte:
Program verification

Ähnliche Einträge