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

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

Preço
€ 191,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 24 de set - 2 de out
Receba avisos sobre novos lançamentos de Graeme Smith

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

Também disponível como:

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 Inglês  

Mais da mesma editora

Ver tudo de Graeme Smith