語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Logic for concurrency and synchronis...
~
SpringerLink (Online service)
Logic for concurrency and synchronisation
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Logic for concurrency and synchronisation/ edited by Ruy J.G.B. de Queiroz.
其他作者:
Queiroz, Ruy J. G. B. de.
出版者:
Dordrecht ;Kluwer Academic Publishers, : c2003.,
面頁冊數:
xxi, 284 p. :ill., digital ; : 25 cm.;
叢書名:
Trends in logic ;
Contained By:
Springer e-books
標題:
Proof theory. -
電子資源:
http://dx.doi.org/10.1007/0-306-48088-3
ISBN:
9780306480881 (electronic bk.)
Logic for concurrency and synchronisation
Logic for concurrency and synchronisation
[electronic resource] /edited by Ruy J.G.B. de Queiroz. - Dordrecht ;Kluwer Academic Publishers,c2003. - xxi, 284 p. :ill., digital ;25 cm. - Trends in logic ;v. 18.
ISBN: 9780306480881 (electronic bk.)Subjects--Topical Terms:
579943
Proof theory.
LC Class. No.: QA9.54 / .L64 2003
Dewey Class. No.: 511.3
Logic for concurrency and synchronisation
LDR
:00800nam 2200241 a 4500
001
742299
003
GreenPo
005
20081016143911.0
006
m d
007
cr nn 008maaau
008
130722s2003 ne j eng d
020
$a
9780306480881 (electronic bk.)
020
$a
9781402012709 (paper)
035
$a
978-1-4020-1270-9
050
0 0
$a
QA9.54
$b
.L64 2003
082
0 0
$a
511.3
$2
21
090
$a
QA9.54
$b
.L832 2003
245
0 0
$a
Logic for concurrency and synchronisation
$h
[electronic resource] /
$c
edited by Ruy J.G.B. de Queiroz.
260
$a
Dordrecht ;
$a
Boston :
$b
Kluwer Academic Publishers,
$c
c2003.
300
$a
xxi, 284 p. :
$b
ill., digital ;
$c
25 cm.
440
0
$a
Trends in logic ;
$v
v. 18
650
0
$a
Proof theory.
$3
579943
650
0
$a
Modality (Logic)
$3
575158
650
0
$a
Parallel programming (Computer science)
$3
557472
700
1
$a
Queiroz, Ruy J. G. B. de.
$3
833026
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer e-books
856
4 0
$u
http://dx.doi.org/10.1007/0-306-48088-3
950
$a
Humanities, Social Sciences and Law
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入