Povedzte o tejto položke priateľom:
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing Razvan Diaconescu
Do you have a profile? Prihlásiť sa
Dostávajte upozornenia na nové nahrávky interpreta Razvan Diaconescu
Naši zákazníci hovoria:
Pridať do vášho zoznamu prianí na 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édium | Knihy Hardcover Book (Kniha s pevnou väzbou a obalom) |
| Vydané | 02. júla 1998 |
| ISBN13 | 9789810235130 |
| Vydavatelia | World Scientific Publishing Co Pte Ltd |
| Strany | 196 |
| Rozmery | 150 × 220 × 20 mm · 476 g |
Viac od Razvan Diaconescu
Zobraziť všetko![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)
Viac od toho istého vydavateľa
![Cover for Marsh, Gerald E (Argonne National Laboratory (Retired), USA) · Force-free Magnetic Fields: Solutions, Topology and Applications (Hardcover Book) [Second edition] (2026)](https://imusic.b-cdn.net/images/item/original/948/9789819833948.jpg?marsh-gerald-e-argonne-national-laboratory-retired-usa-2026-force-free-magnetic-fields-solutions-topology-and-applications-hardcover-book&class=scaled&v=1786981299)
Pozrieť všetko od Razvan Diaconescu