Tipsa dina vänner om produkten:
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing Razvan Diaconescu
Har du en profil? Logga in
Få avisering om nya utgåvor med Razvan Diaconescu
Lägg till din iMusic-önskelista
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öcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 2 juli 1998 |
| ISBN13 | 9789810235130 |
| Utgivare | World Scientific Publishing Co Pte Ltd |
| Antal sidor | 196 |
| Mått | 150 × 220 × 20 mm · 476 g |
![Cover for Razvan Diaconescu · Institution-independent Model Theory - Studies in Universal Logic (Inbunden 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-inbunden-bok&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 (Inbunden Bok) [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-inbunden-bok&class=scaled&v=1779094136)
