Conte aos seus amigos sobre este item:
Z: An Introduction to Formal Methods Diller, Antoni (University of Birmingham) 2º edição
Preço
R$ 889,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 24 de set - 6 de out
Receba avisos sobre novos lançamentos de Diller, Antoni (University of Birmingham)
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Z: An Introduction to Formal Methods
Diller, Antoni (University of Birmingham)
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
394 pages, glossary
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 16 de junho de 1994 |
| ISBN13 | 9780471939733 |
| Editoras | John Wiley & Sons Inc |
| Páginas | 400 |
| Dimensões | 244 × 172 × 21 mm · 635 g |
