Data Refinement: Model-Oriented Proof Methods and their Comparison - Cambridge Tracts in Theoretical Computer Science - De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany) - Livros - Cambridge University Press - 9780521103503 - 18 de dezembro de 2008
Caso a capa e o título não sejam correspondentes, considere o título como correto

De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany)
Data Refinement: Model-Oriented Proof Methods and their Comparison - Cambridge Tracts in Theoretical Computer Science

Preço
R$ 441,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 13 de out
Receba avisos sobre novos lançamentos de De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany)

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:

Graduate text in formal methods in computer science.

436 pages, 18 b/w illus. 93 exercises

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 18 de dezembro de 2008
ISBN13 9780521103503
Editoras Cambridge University Press
Páginas 436
Dimensões 229 × 151 × 27 mm   ·   660 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de De Roever, Willem-paul (Christian-albrechts Universitat Zu Kiel, Germany)