このページのリンク

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

所蔵情報を非表示

書庫2階 QA:76.6:M367:1992

001180091

書誌詳細を非表示

一般注記 "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 REFWLINK
: us ; ISBN:0387566252 REFWLINK
ISBN 3540566252
NCID BA19829981 WCLINK
目次/あらすじ

 類似資料