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) - Livres - Cambridge University Press - 9780521018456 - 22 août 2005
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 59,99

Commandé depuis un entrepôt distant

Livraison prévue 12 - 21 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 22 août 2005
ISBN13 9780521018456
Éditeurs Cambridge University Press
Pages 280
Dimensions 170 × 245 × 15 mm   ·   446 g
Langue et grammaire Anglais  
Éditeur de séries Abramsky, S.
Éditeur de séries Aczel, P. H.
Éditeur de séries Bakker, J. W. De
Éditeur de séries Gurevich, Y.
Éditeur de séries Tucker, J. V.
Éditeur de séries Van Rijsbergen, C. J.