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) - Livros - Cambridge University Press - 9780521400442 - 3 de outubro de 1991
Caso a capa e o título não sejam correspondentes, considere o título como correto

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)

Preço
€ 131,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 18 - 27 de ago
Adicione à sua lista de desejos do iMusic

Também disponível como:

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.


278 pages, references

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 3 de outubro de 1991
ISBN13 9780521400442
Editoras Cambridge University Press
Páginas 278
Dimensões 180 × 257 × 19 mm   ·   670 g
Idioma English