このページのリンク

Axiomatising the logic of computer programming / Robert Goldblatt.
(Lecture notes in computer science. ; 130)

データ種別 図書
出版者 Berlin : Springer-Verlag
出版者 New York
出版年 1982.
本文言語 英語
大きさ xi, 304 p. ; 24 cm.
目次/あらすじ

所蔵情報を非表示

V.130 ASRS 007.6/L507/V.130 02702800
0387112103

書誌詳細を非表示

一般注記 Includes index.
Bibliography: p. 291-298.
著者標目 Goldblatt, Robert.
件 名 Programming languages (Electronic computers)--Semantics
Proof theory
分 類 NDC:007.6
書誌ID 1000027763
ISBN 0387112103
URL1 Publisher HP

 類似資料