The B Language and Method: a Guide to Practical Formal Development - Formal Approaches to Computing & Information Technology (Facit) - Kevin Lano - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540760337 - 14 de maio de 1996
Caso a capa e o título não sejam correspondentes, considere o título como correto

Kevin Lano
The B Language and Method: a Guide to Practical Formal Development - Formal Approaches to Computing & Information Technology (Facit) Softcover Reprint of the Original 1st Ed. 1996 edition

Preço
R$ 317,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 7 - 13 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

This volume presents an introduction to the B Abstract Machine Notation, and how it can be used to support formal specification and development of high integrity systems. Emphasis is placed on the use of B in the context of existing software development methods.

232 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 14 de maio de 1996
ISBN13 9783540760337
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 232
Dimensões 156 × 234 × 13 mm   ·   344 g
Idioma Inglês  

Mais por Kevin Lano

Mostrar tudo

Ver tudo de Kevin Lano ( por exemplo Paperback Book )