The Object-z Specification Language - Advances in Formal Methods - Graeme Smith - Livros - Kluwer Academic Publishers - 9780792386841 - 31 de dezembro de 1999
Caso a capa e o título não sejam correspondentes, considere o título como correto

The Object-z Specification Language - Advances in Formal Methods 1999 edition

Graeme Smith

Preço
R$ 1.194,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 12 - 18 de set

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:

The Object-z Specification Language - Advances in Formal Methods 1999 edition

Offers a description of Object-Z including discussions of semantic issues, definitions of various language constructs, type rules and other rules of usage, and specification guidelines. This book enables you to construct Object-Z specifications. It is intended as a reference manual, and for researchers and practitioners in industry.

146 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de dezembro de 1999
ISBN13 9780792386841
Editoras Kluwer Academic Publishers
Páginas 146
Dimensões 155 × 235 × 11 mm   ·   435 g
Idioma English  
Mostrar tudo

Mais por Graeme Smith

Ver tudo de Graeme Smith ( por exemplo Paperback Book , Book e Hardcover Book )