Recomienda este artículo a tus amigos:
The Object-z Specification Language - Advances in Formal Methods Graeme Smith 1999 edition
The Object-z Specification Language - Advances in Formal Methods
Graeme Smith
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 |
Ver todo de Graeme Smith ( Ej. Paperback Book , Book y Hardcover Book )