Algebraic system specification and development : a survey and annotated bibliography

M. Bidoit ... [et al.] (eds.)
Bok · Engelsk · 1991 · Bibliografier

Utgitt	Berlin : Springer , c1991
Omfang	VIII, 98 s.
Emner	System design Algebraisk spesifikasjon Logikkprogrammering systemutvikling systemanalyse
Sjanger	Bibliografier
ISBN	0387540601. - 3540540601