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 |
