Handbook of process algebra /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Bergstra, J. A. (επιμελητής.), Smolka, Scott A. (επιμελητής.), Ponse, A. (Alban), 1955- (επιμελητής.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Amsterdam ; New York : Elsevier, 2001.
Θέματα:
LEADER 01134cam a22002654a 4500
001 12329414
003 GR-PaULI
005 20220125093409.0
008 010228s2001 ne a b 001 0 eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 Π_511_300000000000000_HAN  |7 0  |9 140010  |a LISP  |b LISP  |c REF  |d 2016-04-24  |i 254658  |l 0  |o Π 511.3 HAN  |p 025000289747  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BKN 
999 |c 91549  |d 91549 
010 |a  2001023642 
020 |a 0444828303  
040 |a DLC  |c GR-PaULI  |d    |b gre  |e AACR2 
082 0 4 |a 511.3  |2 23 
245 0 0 |a Handbook of process algebra /  |c edited by J.A. Bergstra, A. Ponse, S.A. Smolka. 
260 |a Amsterdam ;  |a New York :  |b Elsevier,  |c 2001. 
300 |a xiv, 1342 σ. :  |b εικ. ;  |c 25 εκ. 
504 |a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.  
650 4 |a Θεωρία μηχανών  |9 27496 
700 1 |a Bergstra, J. A.  |9 126194  |e επιμελητής. 
700 1 |a Smolka, Scott A.  |9 71236  |e επιμελητής. 
700 1 |a Ponse, A.  |9 126195  |q (Alban),  |d 1955-  |e επιμελητής. 
942 |2 ddc  |c BKN 
998 |c ΜΠΟΥΡΑΣ  |d 2022-01