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

Preço
R$ 369,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 9 de out
Receba avisos sobre novos lançamentos de Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany)
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

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 171 × 244 × 19 mm   ·   490 g
Idioma Inglês  
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.

Mais da mesma editora