载入...

Foundation of program verification /

书目详细资料
主要作者: Loeckx, Jacques
格式: Printed Book
出版: New Jersey : John Wiley & Sons , 1983.
主题: