Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs - Mingsheng Ying - Livros - Springer-Verlag New York Inc. - 9780387950921 - 30 de março de 2001
Caso a capa e o título não sejam correspondentes, considere o título como correto

Mingsheng Ying
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs 2001 edition

Preço
R$ 297,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 6 de out
Receba avisos sobre novos lançamentos de Mingsheng Ying

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

Ainda não avaliado

Também disponível como:

Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.

220 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 30 de março de 2001
ISBN13 9780387950921
Editoras Springer-Verlag New York Inc.
Páginas 220
Dimensões 155 × 235 × 14 mm   ·   444 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Mingsheng Ying