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øger - Cambridge University Press - 9780521018456 - 22. august 2005
Ved uoverensstemmelse mellem cover og titel gælder titel

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
A$ 128,11

Bestilles fra fjernlager

Forventes klar til forsendelse 7. - 14. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Findes 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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 22. august 2005
ISBN13 9780521018456
Forlag Cambridge University Press
Antal sider 280
Mål 170 × 245 × 15 mm   ·   446 g
Sprog 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. Paperback Bog og Hardcover bog )