語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
The temporal logic of reactive and c...
~
Manna, Zohar
The temporal logic of reactive and concurrent systems
紀錄類型:
書目-語言資料,印刷品 : 單行本
作者:
MannaZohar,
其他作者:
PnueliA,
出版地:
New York
出版者:
Springer-Verlag;
出版年:
c1992
面頁冊數:
v. <1 >ill : 25 cm;
標題:
Logic, Symbolic and mathematical -
標題:
Electronic digital computers - Programming -
ISBN:
0387976647
內容註:
[1] Specification
The temporal logic of reactive and concurrent systems
Manna, Zohar
The temporal logic of reactive and concurrent systems
/ Zohar Manna, Amir Pnueli - New York : Springer-Verlag, c1992. - v. <1 > ; ill ; 25 cm.
[1] Specification.
Includes bibliographical references (p. 389-401) and indexes.
ISBN 0387976647ISBN 3540976647
Logic, Symbolic and mathematicalElectronic digital computers -- Programming
Pnueli, A
The temporal logic of reactive and concurrent systems
LDR
:00787cam 2200241 i 450
001
436452
005
20101024003219.0
009
a91028181
010
1
$a
0387976647
$b
(New York : v.1, hard)
010
1
$a
3540976647
$b
(Berlin : v. 1)
100
$a
20080130d1992 m y0engy01 b
101
0
$a
eng
200
1
$a
The temporal logic of reactive and concurrent systems
$f
Zohar Manna, Amir Pnueli
210
$a
New York
$d
c1992
$c
Springer-Verlag
215
0
$a
v. <1 >
$c
ill
$d
25 cm
320
$a
Includes bibliographical references (p. 389-401) and indexes
327
0
$a
[1] Specification
606
$a
Logic, Symbolic and mathematical
$3
397502
$2
lc
$3
724080
606
$a
Electronic digital computers
$x
Programming
$3
394255
$2
lc
$3
724076
676
$a
005.1
$b
M281
676
$a
005.1
$v
20
680
$a
QA76.6
$b
M3564 1991
700
$a
Manna
$b
Zohar
$3
415412
702
$a
Pnueli
$b
A
$3
415413
801
0
$b
DLC
801
0
$a
cw
$b
BIB
$c
19980706
801
1
$a
cw
$b
national library
$c
19980706
801
1
$a
cw
$b
國立國立虎尾科技大學圖書館
$c
19980811
$g
CCR
筆 0 讀者評論
全部
圖書館3F 書庫
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E018533
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
005.1 M281 v.1
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入