このページのリンク

Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.)
(Lecture notes in computer science ; 375)

データ種別 図書
出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1989
本文言語 英語
大きさ vi, 420 p. : ill. ; 25 cm

所蔵情報を非表示

書庫2階 QA:76.6:M366:1989

890202225

書誌詳細を非表示

一般注記 "Papers presented at the Conference on Mathematics of Program Construction, held June 26-30, 1989, Groningen"--Pref
Includes index
著者標目 Conference on Mathematics of Program Construction (1989 : Groningen, Netherlands)
Snepscheut, Jan L. A. van de, 1953-
件 名 LCSH:Electronic digital computers -- Programming -- Congresses  全ての件名で検索
LCSH:Electronic data processing -- Mathematics -- Congresses  全ての件名で検索
分 類 LCC:QA76.6
DC20:005.1
巻冊次 : gw ; ISBN:3540513051 REFWLINK
: us ; ISBN:0387513051 REFWLINK
ISBN 3540513051
NCID BA06995627 WCLINK
目次/あらすじ

 類似資料