このページのリンク

Temporal logic of programs / Fred Kröger.
(EATCS monographs on theoretical computer science. ; v. 8)

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

所蔵情報を非表示


ASRS 007.64/Kr6t 04269384
0387170308

書誌詳細を非表示

一般注記 Includes index.
Bibliography: p. [143]-146.
著者標目 Kröger, Fred,(1945-)
件 名 Electronic digital computers--Programming
Logic, Symbolic and mathematical
分 類 NDC:007.64
書誌ID 1000174158
ISBN 0387170308
URL1 Google Book Search

 類似資料