Formal Methods for Interactive Systems

出版社

ACADEMIC PRESS LTD

出版时间

1991

ISBN

0122183150

标注页数

369 页

PDF页数

380 页