Process algebra / J. C. M. Baelen and W. P. Weijland
Saved in:
Personal Name(s): | Baeten, Josephus Cornelius Maria, author |
---|---|
Weijland, Willem Pieter, author | |
Imprint: |
Cambridge,MA :
Cambridge University Press,
1990
|
Physical Description: |
248 Seiten |
Note: |
englisch |
ISBN: |
9780521400435 0521400430 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Cambridge tracts in theoretical computer science ;
18 |
Keywords: |
concurrency theory concurrent communicating processes |
Subject (ZB): | |
Classification: |
LEADER | 01200cam a2200361 n 4500 | ||
---|---|---|---|
001 | 67423 | ||
008 | r1990 eng | ||
020 | |a 0521400430 | ||
035 | |a (Sirsi) a63979 | ||
035 | |a (Sirsi) i9780521400435 | ||
041 | |a eng | ||
084 | 0 | |a DCA - Informatics - theoretical | |
100 | |a Baeten, Josephus Cornelius Maria, |e Verfasser | ||
245 | 0 | 0 | |a Process algebra / |c J. C. M. Baelen and W. P. Weijland |
264 | |a Cambridge,MA : |b Cambridge University Press, |c 1990 | ||
300 | |a 248 Seiten | ||
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
490 | |a Cambridge tracts in theoretical computer science ; |v 18 | ||
500 | |a englisch | ||
596 | |a 1 | ||
650 | 4 | |a concurrent computing | |
650 | 4 | |a concurrent programming | |
650 | 4 | |a logics | |
650 | 4 | |a semantics | |
653 | |a concurrency theory | ||
653 | |a concurrent communicating processes | ||
700 | |a Weijland, Willem Pieter, |e Verfasser | ||
900 | |a S 006321-0018'01' | ||
908 | |a Monographie, Sammelwerk | ||
915 | |a HS | ||
949 | |a S 006321-0018'01' |w LC |c 1 |i 1091101722 |d 29/1/2009 |l STACKS |m ZB |r Y |s Y |t ZBB |u 25/3/2009 |x ZB-D |1 PRINT |