Mathematical theory of program correctness.

Chi tiết về thư mục
Tác giả chính:	de Bakker, Jaco
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Englewood Cliff, New Jersey Prentice Hall International