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øker - Cambridge University Press - 9780521018456 - 22. august 2005
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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)

Pris
DKK 427,20

Bestillingsvarer

Forventes levert 11. - 20. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

Finnes også som:

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

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 22. august 2005
ISBN13 9780521018456
Utgivere Cambridge University Press
Antall sider 280
Mål 170 × 245 × 15 mm   ·   446 g
Språk Engelsk  
Serieredaktør Abramsky, S.
Serieredaktør Aczel, P. H.
Serieredaktør Bakker, J. W. De
Serieredaktør Gurevich, Y.
Serieredaktør Tucker, J. V.
Serieredaktør Van Rijsbergen, C. J.

Se alt med Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany) ( f.eks. Pocketbok og Innbunden bok )