Formelle teknikker til specifikation og verifikation af Modula-2 programmer

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogDansk
Udgivelses stedAalborg
ForlagAalborg Universitetsforlag
StatusUdgivet - 1990
NavnAalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport
NummerR 90-40
ISSN0106-0791

Citer dette

Stage, J. (1990). Formelle teknikker til specifikation og verifikation af Modula-2 programmer. Aalborg: Aalborg Universitetsforlag. Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport, Nr. R 90-40
Stage, Jan. / Formelle teknikker til specifikation og verifikation af Modula-2 programmer. Aalborg : Aalborg Universitetsforlag, 1990. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 90-40).
@book{c43e99e0003311dab4d5000ea68e967b,
title = "Formelle teknikker til specifikation og verifikation af Modula-2 programmer",
author = "Jan Stage",
year = "1990",
language = "Dansk",
series = "Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport",
number = "R 90-40",
publisher = "Aalborg Universitetsforlag",

}

Stage, J 1990, Formelle teknikker til specifikation og verifikation af Modula-2 programmer. Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport, nr. R 90-40, Aalborg Universitetsforlag, Aalborg.

Formelle teknikker til specifikation og verifikation af Modula-2 programmer. / Stage, Jan.

Aalborg : Aalborg Universitetsforlag, 1990. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 90-40).

Publikation: Bog/antologi/afhandling/rapportBogForskning

TY - BOOK

T1 - Formelle teknikker til specifikation og verifikation af Modula-2 programmer

AU - Stage, Jan

PY - 1990

Y1 - 1990

M3 - Bog

T3 - Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport

BT - Formelle teknikker til specifikation og verifikation af Modula-2 programmer

PB - Aalborg Universitetsforlag

CY - Aalborg

ER -

Stage J. Formelle teknikker til specifikation og verifikation af Modula-2 programmer. Aalborg: Aalborg Universitetsforlag, 1990. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 90-40).