Vertel uw vrienden over dit artikel:
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing Razvan Diaconescu
Heb je een profiel? Inloggen
Ontvang meldingen over nieuwe releases van Razvan Diaconescu
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 2 juli 1998 |
| ISBN13 | 9789810235130 |
| Uitgevers | World Scientific Publishing Co Pte Ltd |
| Pagina's | 196 |
| Afmetingen | 150 × 220 × 20 mm · 476 g |
Meer door Razvan Diaconescu
Alles tonen![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)
Meer van dezelfde uitgever
Bekijk alles van Razvan Diaconescu ( bijv. Hardcover Book en Paperback Book )