このページのリンク

利用統計

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Formal description of programming concepts

責任表示 Erich J. Neuhold, Manfred Paul (eds.) ; with contributions by K.R. Apt ... [et al.]
シリーズ IFIP state-of-the-art reports
データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 c1991
本文言語 英語
大きさ vi, 507 p. ; 24 cm
概要 Based on a seminar held near Rio de Janeiro, April 1989. The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of semantic models and discussion ...f problems in the construction of programs. In particular, methods for the specification and transformation of programs are considered in detail. No index. Annotation copyrighted by Book News, Inc., Portland, OR続きを見る

所蔵情報


理系図 自動書庫 068252191009427 007.64/N 67 1991

書誌詳細

一般注記 Based on a seminar organized by IFIP Working Group 2.2 and held near Rio de Janeiro in April 1989
Includes bibliographical references
著者標目 Neuhold, Erich J., 1940-
Paul, Manfred, 1932-
Apt, Krzysztof R., 1949-
IFIP Working Group 2.2
件 名 LCSH:Electronic digital computers -- Programming  全ての件名で検索
分 類 LCC:QA76.6
DC20:005.1
書誌ID 1001064926
ISBN 3540539611
NCID BA13534136
巻冊次 gw ; ISBN:3540539611
us ; ISBN:0387539611
登録日 2009.09.17
更新日 2009.09.17

類似資料