Fortell venner om denne varen:
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing Razvan Diaconescu
Har du en profil? Logg inn
Få varsel om nye utgivelser fra Razvan Diaconescu
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 2. juli 1998 |
| ISBN13 | 9789810235130 |
| Utgivere | World Scientific Publishing Co Pte Ltd |
| Antall sider | 196 |
| Mål | 150 × 220 × 20 mm · 476 g |
Mer med Razvan Diaconescu
Vis alle![Cover for Razvan Diaconescu · Institution-independent Model Theory - Studies in Universal Logic (Innbunden bok) [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-innbunden-bok&class=scaled&v=1750956570)
Mer fra samme **utgiver**
Se alt med Razvan Diaconescu ( f.eks. Innbunden bok og Pocketbok )