Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing - Razvan Diaconescu - Books - World Scientific Publishing Co Pte Ltd - 9789810235130 - July 2, 1998
In case cover and title do not match, the title is correct

Razvan Diaconescu
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Hardcover Book   (Book with hard spine and cover)
Released July 2, 1998
ISBN13 9789810235130
Publishers World Scientific Publishing Co Pte Ltd
Pages 196
Dimensions 150 × 220 × 20 mm   ·   476 g

More by Razvan Diaconescu

Show all

See all of Razvan Diaconescu ( e.g. Hardcover Book and Paperback Book )