Software blueprints : lightweight uses of logic in conceptual modelling

David Robertson David Robertson and Jaume Agustí
Bok · Engelsk · 1999

Utgitt	New York : ACM Press , 1999
Omfang	XVII, 220 s. : ill.
Emner	Computer logic Computer software - Development Mathematical models Algebraisk spesifikasjon
ISBN	0201398192