载入...

Program Construction and Verification

书目详细资料
主要作者: Backhouse, Roland C
格式: Printed Book
语言:English
出版: Prentice-Hall 1986