FORMAL SPECIFICATION AND DESIGN

出版社

CAMBRIDGE UNIVERSITY PRESS

出版时间

1992

ISBN

0521435927

标注页数

335 页

PDF页数

353 页