Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Handbook of process algebra
~
Ponse, A. (1955-)
Handbook of process algebra
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Handbook of process algebra/ edited by J.A. Bergstra, A. Ponse, S.A. Smolka.
other author:
Bergstra, J. A.
Published:
Amsterdam ;Elsevier, : 2001.,
Description:
xiv, 1342 p. :ill. ; : 25 cm.;
Subject:
Machine theory. -
Online resource:
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:
9780444828309 (electronic bk.)
Handbook of process algebra
Handbook of process algebra
[electronic resource] /edited by J.A. Bergstra, A. Ponse, S.A. Smolka. - 1st ed. - Amsterdam ;Elsevier,2001. - xiv, 1342 p. :ill. ;25 cm.
Includes bibliographical references and indexes.
ISBN: 9780444828309 (electronic bk.)
LCCN: 2001023642Subjects--Topical Terms:
527775
Machine theory.
LC Class. No.: QA267 / .H335 2001
Dewey Class. No.: 511.3
Handbook of process algebra
LDR
:00833cam a22002294a 45
001
808267
005
20130411105032.0
008
150720s2001 ne a sb 001 0 eng
010
$a
2001023642
020
$a
9780444828309 (electronic bk.)
020
$a
9780444828309
035
$a
13001666
040
$a
DLC
$c
DLC
$d
DLC
041
0
$a
eng
042
$a
pcc
050
0 0
$a
QA267
$b
.H335 2001
082
0 0
$a
511.3
$2
21
245
0 0
$a
Handbook of process algebra
$h
[electronic resource] /
$c
edited by J.A. Bergstra, A. Ponse, S.A. Smolka.
250
$a
1st ed.
260
$a
Amsterdam ;
$a
New York :
$b
Elsevier,
$c
2001.
300
$a
xiv, 1342 p. :
$b
ill. ;
$c
25 cm.
504
$a
Includes bibliographical references and indexes.
650
0
$a
Machine theory.
$3
527775
650
0
$a
Parallel processing (Electronic computers)
$3
527949
700
1
$a
Bergstra, J. A.
$3
904902
700
1
$a
Ponse, A.
$q
(Alban),
$d
1955-
$3
904923
700
1
$a
Smolka, Scott A.
$3
904924
856
4 0
$u
http://www.sciencedirect.com/science/book/9780444828309
$z
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login