Vinkkaa tuotetta kavereillesi:
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing Razvan Diaconescu
Onko sinulla profiili? Kirjaudu sisään
Joululahjoja voi vaihtaa 31.1. asti
Saat ilmoituksen artistin Razvan Diaconescu uusista julkaisuista
Lisää iMusic-toivelistallesi
tai
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 | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | torstai 2. heinäkuuta 1998 |
| ISBN13 | 9789810235130 |
| Tuottaja | World Scientific Publishing Co Pte Ltd |
| Sivujen määrä | 196 |
| Mitta | 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)
