Conte aos seus amigos sobre este item:
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing Razvan Diaconescu
Você tem um perfil? Entrar
Receba avisos sobre novos lançamentos de Razvan Diaconescu
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing
Razvan Diaconescu
CafeOBJ is an industrial-strength modern algebraic specification language. This book presents not only a formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity.
196 pages, Illustrations
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 2 de julho de 1998 |
| ISBN13 | 9789810235130 |
| Editoras | World Scientific Publishing Co Pte Ltd |
| Páginas | 196 |
| Dimensões | 150 × 220 × 20 mm · 476 g |
Mais por Razvan Diaconescu
Mostrar tudo![Cover for Razvan Diaconescu · Institution-independent Model Theory - Studies in Universal Logic (Hardcover Book) [Second Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/539/9783031688539.jpg?razvan-diaconescu-2025-institution-independent-model-theory-studies-in-universal-logic-hardcover-book&class=scaled&v=1750956570)
Mere med samme udgiver
Ver tudo de Razvan Diaconescu ( por exemplo Hardcover Book e Paperback Book )