Program construction and verification /

other_versions_link
Bibliographic Details
Main Author: Backhouse, Roland C .
Format: Printed Book
Language:English
Published: London : Prentice -Hall International, Inc. , 1986.
Subjects:
Program verification
Search Result 1
Program Construction and Verification
by Backhouse, Roland C
Published 1986
Printed Book
other_versions_search_link

Similar Items