Handbook of process algebra /
Άλλοι συγγραφείς: | Bergstra, J. A. (επιμελητής.), Smolka, Scott A. (επιμελητής.), Ponse, A. (Alban), 1955- (επιμελητής.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam ; New York :
Elsevier,
2001.
|
Θέματα: |
Παρόμοια τεκμήρια
-
Automata on infinite words Ecole de printemps d'informatique theorique, Le Mont Dore, May 14-18, 1984
Έκδοση: (1985) -
Theories of computability /
ανά: Pippenger, Nicholas
Έκδοση: (1997) -
Automata, languages and programming fifth colloquium, Udine, Italy, July 17-21, 1978
Έκδοση: (1978) -
Algorithmic information theory /
ανά: Chaitin, Gregory J.
Έκδοση: (1987) -
Introduction to the theory of computation /
ανά: Sipser, Michael
Έκδοση: (1997)