Program Construction and Verification

other_versions_link
Bibliographic Details
Main Author: Backhouse, Roland C
Format: Printed Book
Language:English
Published: Prentice-Hall 1986
Description
Physical Description:281
ISBN:0-13-729153-1

Similar Items