こちらに共通ヘッダが追加されます。
検索結果一覧に戻る

この情報を出力する

このページのリンク

他の検索サイト

Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
(Lecture notes in computer science ; 669)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 c1993
大きさ viii, 378 p. : ill. ; 24 cm

所蔵情報を非表示

理工学部 情報系
418.6||L3||669 932015831


書誌詳細を非表示

書誌ID BB00235594
本文言語 英語
一般注記 "The papers in this volume were presented at the Second International Conference on the Mathematics of Program Construction, held at St. Catherine's College, Oxford, during the week of 29 June-3 July, 1992."--Pref
著者標目  *International Conference on the Mathematics of Program Construction (2nd : 1992 : St. Catherine's College, Oxford)
 Bird, R. S. (Richard Simpson), 1943-
 Morgan, C. C. (Charles Carroll), 1952-
 Woodcock, James
件　名 LCSH:Electronic digital computers -- Programming -- Congresses  全ての件名で検索
LCSH:Computer science -- Mathematics -- Congresses  全ての件名で検索
分　類 LCC:QA76.6
DC20:005.1/01/5113
NDC8:410.7
巻冊次 : gw ; ISBN:3540566252 ; PRICE:DM72.00 RefWorks出力（各巻）
: us ; ISBN:0387566252 RefWorks出力（各巻）
NCID BA19829981
目次・あらすじ

 類似資料

検索結果一覧に戻る