Powiedz znajomym o tym przedmiocie:
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)
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 | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 22 sierpnia 2005 |
| ISBN13 | 9780521018456 |
| Wydawcy | Cambridge University Press |
| Strony | 280 |
| Wymiary | 170 × 245 × 15 mm · 446 g |
| Język | Angielski |
| Redaktor serii | Abramsky, S. |
| Redaktor serii | Aczel, P. H. |
| Redaktor serii | Bakker, J. W. De |
| Redaktor serii | Gurevich, Y. |
| Redaktor serii | Tucker, J. V. |
| Redaktor serii | Van Rijsbergen, C. J. |
Świąteczne prezenty można zwracać do 31 stycznia