Tell your friends about this item:
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)
Price
R 1,140
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Oct 30 - Nov 11
Christmas presents can be returned until 31 January
Get notified about new Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany) releases
Add to your iMusic wish list
Also available as:
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 | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 22, 2005 |
| ISBN13 | 9780521018456 |
| Publishers | Cambridge University Press |
| Pages | 280 |
| Dimensions | 171 × 244 × 19 mm · 490 g |
| Language | English |
| Series Editor | Abramsky, S. |
| Series Editor | Aczel, P. H. |
| Series Editor | Bakker, J. W. De |
| Series Editor | Gurevich, Y. |
| Series Editor | Tucker, J. V. |
| Series Editor | Van Rijsbergen, C. J. |