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 - 9780521018456 - 22 de agosto de 2005
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
Íkr 8.584,94

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 11 - 20 de ago

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
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.

280 pages, Illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 22 de agosto de 2005
ISBN13 9780521018456
Editoras Cambridge University Press
Páginas 280
Dimensões 170 × 245 × 15 mm   ·   446 g
Idioma English  
Editor de séries Abramsky, S.
Editor de séries Aczel, P. H.
Editor de séries Bakker, J. W. De
Editor de séries Gurevich, Y.
Editor de séries Tucker, J. V.
Editor de séries Van Rijsbergen, C. J.

Ver tudo de Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany) ( por exemplo Paperback Book e Hardcover Book )