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) - Kirjat - Cambridge University Press - 9780521018456 - maanantai 22. elokuuta 2005
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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)

Hinta
SEK 699

Tilattu etävarastosta

Arvioitu toimitus ti - to 12. - 21. elo
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 22. elokuuta 2005
ISBN13 9780521018456
Tuottaja Cambridge University Press
Sivujen määrä 280
Mitta 170 × 245 × 15 mm   ·   446 g
Kieli English  
Sarjaohjaaja Abramsky, S.
Sarjaohjaaja Aczel, P. H.
Sarjaohjaaja Bakker, J. W. De
Sarjaohjaaja Gurevich, Y.
Sarjaohjaaja Tucker, J. V.
Sarjaohjaaja Van Rijsbergen, C. J.