Formelle metoder av prototyping
av Stig Rønning
Bok Bokmål 1997
Utgitt | [Trondheim] : S. Rønning , 1997
|
---|---|
Omfang | 175 s. : fig.
|
Opplysninger | Hovedoppgave i informatikk - Norges teknisk-naturvitenskapelige universitet, Trondheim, 1997
|
Emner | Algebraisk spesifikasjon
Teoretisk databehandling hovedoppgave informatikk formell programutvikling algebraisk spesifikasjon |