<図書>

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.)

(Lecture notes in computer science;398)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : Germany 39:L:1.398 2012256893

5163/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1989
大きさ vi, 448 p. : ill. ; 25 cm
一般注記 Based on papers presented at the Colloquium on Temporal Logic in Specification
Includes bibliographical references
著者標目 Banieqbal, Behnam
Barringer, Howard, 1951-
Pnueli, A. (Amir)
Colloquium on Temporal Logic in Specification (1987 : Altrincham, England)
件 名 LCSH:System design
LCSH:Logic, Symbolic and mathematical
分 類 LCC:QA76.9.S88
DC20:005.13/1
本文言語 英語
書誌ID 2000117017
ISBN 3540518037
NCID BA07517438 WCLINK

検索結果一覧に戻る ページトップ