Faites connaître cet article à vos amis:
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing Razvan Diaconescu
Avez-vous un profil ? Connectez-vous
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Recevez une notification pour les nouvelles sorties de Razvan Diaconescu
Nos clients disent :
Ajouter à votre liste de souhaits 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édias | Livres Hardcover Book (Livre avec dos et couverture rigide) |
| Validé | 2 juillet 1998 |
| ISBN13 | 9789810235130 |
| Éditeurs | World Scientific Publishing Co Pte Ltd |
| Pages | 196 |
| Dimensions | 150 × 220 × 20 mm · 476 g |
![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)
![Cover for Dash, Jan W (J Dash Consultants, LLC, USA) · Quantitative Finance, Climate Change, and Risk Management: a Physicist's Approach (Hardcover Book) [Third edition] (2027)](https://imusic.b-cdn.net/images/item/original/358/9789819821358.jpg?dash-jan-w-j-dash-consultants-llc-usa-2027-quantitative-finance-climate-change-and-risk-management-a-physicist-s-approach-hardcover-book&class=scaled&v=1779094136)
