Program construction and verification /

other_versions_link
Manylion Llyfryddiaeth
Prif Awdur: Backhouse, Roland C .
Fformat: Printed Book
Iaith:English
Cyhoeddwyd: London : Prentice -Hall International, Inc. , 1986.
Pynciau:
Program verification

Eitemau Tebyg