戻る

この文献を取り寄せる

図書館へ購入を依頼する

この情報を出力する

このページのリンク

他の検索サイト

Verifying concurrent processes using temporal logic / Brent T. Hailpern
(Lecture notes in computer science ; 129)

データ種別 図書
出版者 Berlin : Springer-Verlag
出版年 1982
形態 viii, 208 p. : ill. ; 25 cm
著者標目 Hailpern, Brent Tzion, 1955-
件　名 LCSH:Parallel processing (Electronic computers)
LCSH:Computer programs -- Verification  全ての件名で検索
分　類 NDC:549.92
DDC:001.64/2
LCC:QA76.6
書誌ID LT00169178

所蔵情報を非表示

G.W. 中央自動書庫 549.92/L49-1/129 0105567460103 9783540112051




書誌詳細を非表示

本文言語 英語
一般注記 Bibliography: p. [203]-208
Includes index
NCID BA04909522
巻冊次 G.W. ; ISBN:3540112057
目次／あらすじ

 類似資料

戻る