michel bidoit
CASL User Manual
Print on DemandCASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Commo...
Algebraic System Specification and Development
Print on DemandThis book is an annotated bibliography providing an up-to-date overview of past and present work ...
Recent Trends in Data Type Specification
Print on DemandInhaltsangabeAlgebraic specification of concurrency.- Objects and their specification.- The use o...
- 1