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) - Bücher - Cambridge University Press - 9780521018456 - 22. August 2005
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
€ 60,49

Bestellware

Lieferdatum: ca. 12. - 21. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder

Auch vorhanden als:

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 22. August 2005
ISBN13 9780521018456
Verlag Cambridge University Press
Seitenanzahl 280
Maße 170 × 245 × 15 mm   ·   446 g
Sprache Englisch  
Serienredakteur Abramsky, S.
Serienredakteur Aczel, P. H.
Serienredakteur Bakker, J. W. De
Serienredakteur Gurevich, Y.
Serienredakteur Tucker, J. V.
Serienredakteur Van Rijsbergen, C. J.