Program construction and verification /

other_versions_link
書目詳細資料
主要作者: Backhouse, Roland C .
格式: Printed Book
語言:English
出版: London : Prentice -Hall International, Inc. , 1986.
主題:
Program verification

相似書籍