
Vinkkaa tuotetta kavereillesi:
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
NOK 749
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
Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany)
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. |