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öcker - Cambridge University Press - 9780521018456 - 22 augusti 2005
Om omslag och titel inte matchar är det titeln som gäller

Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany)
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship - Cambridge Tracts in Theoretical Computer Science

Pris
SEK 659

Beställningsvara

Förväntad leverans 8 - 19 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Finns även som:

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öcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 22 augusti 2005
ISBN13 9780521018456
Utgivare Cambridge University Press
Antal sidor 280
Mått 170 × 245 × 15 mm   ·   446 g
Språk Engelska  
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) ( t.ex. Pocketbok och Inbunden Bok )