載入...

QR Code

Program Construction and Verification

other_versions_link

書目詳細資料
主要作者:	Backhouse, Roland C
格式:	Printed Book
語言:	English
出版:	Prentice-Hall 1986

Program construction and verification /

Program construction and verification /

由 Backhouse, Roland C .
出版 1986

Printed Book