Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series - Wan Fokkink - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642093210 - 18 de novembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Wan Fokkink
Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2007 edition

Preço
R$ 321,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 8 - 14 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro

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:

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.

162 pages, 7 black & white tables, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 18 de novembro de 2010
ISBN13 9783642093210
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 154
Dimensões 155 × 235 × 8 mm   ·   240 g
Idioma Inglês  

Mais por Wan Fokkink

Mostrar tudo

Ver tudo de Wan Fokkink ( por exemplo Hardcover Book e Paperback Book )