このページのリンク

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
(Lecture notes in computer science ; 1536)

データ種別 図書
出版者 Berlin ; New York : Springer
出版年 c1998
本文言語 英語
大きさ 646 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.58:C639:1997
3540654933 002759313

書誌詳細を非表示

一般注記 Includes bibliographical reference and index
著者標目 *COMPOS '97 (1997 : Malente, Germany)
Roever, W.-P. de, 1943-
Langmaack, Hans
Pnueli, A. (Amir)
件 名 LCSH:Parallel processing (Electronic computers) -- Congresses  全ての件名で検索
LCSH:Automatic theorem proving -- Congresses  全ての件名で検索
分 類 LCC:QA76.58
DC21:004/.35
巻冊次 ISBN:3540654933 REFWLINK
ISBN 3540654933
NCID BA39727168 WCLINK
目次/あらすじ

 類似資料