The Way of Z: Practical Programming with Formal Methods - Jacky, Jonathan (University of Washington) - Livros - Cambridge University Press - 9780521559768 - 28 de novembro de 1996
Caso a capa e o título não sejam correspondentes, considere o título como correto

Jacky, Jonathan (University of Washington)
The Way of Z: Practical Programming with Formal Methods

Preço
R$ 550,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Jacky, Jonathan (University of Washington)

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

This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in real projects and showing how to implement them in the C programming language, through case studies in safety-critical systems and other examples from computer graphics, word processing, databases, and object-oriented programming.

372 pages, Illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 28 de novembro de 1996
ISBN13 9780521559768
Editoras Cambridge University Press
Páginas 372
Dimensões 299 × 194 × 27 mm   ·   668 g
Idioma Inglês  

Mais por Jacky, Jonathan (University of Washington)

Mostrar tudo

Mais da mesma editora

Ver tudo de Jacky, Jonathan (University of Washington)