Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship - Cambridge Tracts in Theoretical Computer Science - Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany) - Książki - Cambridge University Press - 9780521018456 - 22 sierpnia 2005
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship - Cambridge Tracts in Theoretical Computer Science

Cena
zł 250,90

Zamówione z odległego magazynu

Przewidywana dostawa 12 - 21 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research.


280 pages, Illustrations

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 22 sierpnia 2005
ISBN13 9780521018456
Wydawcy Cambridge University Press
Strony 280
Wymiary 170 × 245 × 15 mm   ·   446 g
Język Angielski  
Redaktor serii Abramsky, S.
Redaktor serii Aczel, P. H.
Redaktor serii Bakker, J. W. De
Redaktor serii Gurevich, Y.
Redaktor serii Tucker, J. V.
Redaktor serii Van Rijsbergen, C. J.