The Object-z Specification Language - Advances in Formal Methods - Graeme Smith - Libros - Kluwer Academic Publishers - 9780792386841 - 31 de diciembre de 1999
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 209,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 - 29 de jun.
Añadir a tu lista de deseos de iMusic

También disponible 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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de diciembre de 1999
ISBN13 9780792386841
Editores Kluwer Academic Publishers
Páginas 146
Dimensiones 155 × 235 × 11 mm   ·   435 g
Lengua Inglés