Specification and Refinement of a Buffer of Length One

著者名:

Broy M.  

掲載資料名:

Deductive program design

シリーズ名:

NATO ASI series. Series F, Computer and systems sciences

シリーズ巻号:

152

発行年:

1996

開始ページ:

273

終了ページ:

304

総ページ数:

32

出版情報:

Berlin: Springer

ISSN:

02581248

ISBN:

9783540609476 [3540609474]

言語:

英語

請求記号:

N11483/152

資料種別:

国際会議録