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 - 9780521641708 - 3 de dezembro de 1998
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$ 929,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     Hardcover Book   (Livro com lombada e capa dura)
Lançado 3 de dezembro de 1998
ISBN13 9780521641708
Editoras Cambridge University Press
Páginas 436
Dimensões 159 × 236 × 32 mm   ·   845 g
Idioma Inglês  

Mais da mesma editora

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