Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Logic for concurrency and synchronis...
~
SpringerLink (Online service)
Logic for concurrency and synchronisation
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Logic for concurrency and synchronisation/ edited by Ruy J.G.B. de Queiroz.
other author:
Queiroz, Ruy J. G. B. de.
Published:
Dordrecht ;Kluwer Academic Publishers, : c2003.,
Description:
xxi, 284 p. :ill., digital ; : 25 cm.;
Series:
Trends in logic ;
Contained By:
Springer e-books
Subject:
Proof theory. -
Online resource:
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
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login