Refinement in Z and Object-Z: Foundations and Advanced Applications - John Derrick - Livros - Springer London Ltd - 9781447161677 - 23 de agosto de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

Refinement in Z and Object-Z: Foundations and Advanced Applications Softcover reprint of the original 2nd ed. 2014 edition

John Derrick

Preço
NZD 176
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 8 - 14 de jul

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:

Refinement in Z and Object-Z: Foundations and Advanced Applications Softcover reprint of the original 2nd ed. 2014 edition

This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.

492 pages, XVIII, 492 p.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 23 de agosto de 2015
ISBN13 9781447161677
Editoras Springer London Ltd
Páginas 492
Dimensões 155 × 235 × 26 mm   ·   707 g
Idioma English  
Mostrar tudo

Mais por John Derrick

Ver tudo de John Derrick ( por exemplo Paperback Book e Hardcover Book )