Program construction and verification /

other_versions_link
Chi tiết về thư mục
Tác giả chính: Backhouse, Roland C .
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: London : Prentice -Hall International, Inc. , 1986.
Những chủ đề:
Program verification

Những quyển sách tương tự