?
3
CASL reference manual
the complete documentation of the common algebraic specific...
Lecture notes in computer science ; 2960;Tutorial
Copies:
Zentrale:Magazin hs 1235-S
?
4
Algebraic foundations of systems specification
IFIP State-of-the-Art reports
Copies:
Zentrale:E02 a inf 350 alg/370
?
5
Algebraic system specification and development
survey and annotated bibliography
BISS monographs ; 3
Copies:
Zentrale:Magazin 01.g.6289
?
6
Formal description and development of graphical user interf..
Informatik
Copies:
Zentrale:Magazin dt 1875
?
7
Algebraic methodology and software technology
4th International Conference, AMAST '95, Montreal, Canada, ...
Lecture notes in computer science ; 936
Copies:
Zentrale:Magazin 01.P.5716
?
8
Formal specification and design
Cambridge tracts in theoretical computer science ; 35
Copies:
Zentrale:Magazin 02.p.4724