载入...

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