Formal methods in program construction : final report on a research project sponsored by the Academy of Finland 1982-1985

Formal methods in program construction : final report on a research project sponsored by the Academy of Finland 1982-1985

datePublished

• 1986

description

• Sarjalla myös engl. nimeke.

identifier

• propertyID: FI-FENNI value: 90546
• propertyID: FI-MELINDA value: 000041910
• propertyID: skl value: fx90546

isbn

• 951649241X

isPartOf

• Fennica
• Rapporter från Åbo akademi. Informationsbehandling & matematik. Serie B

name

• Formal methods in program construction : final report on a research project sponsored by the Academy of Finland 1982-1985

numberOfPages

• 21 lehteä

P60048

• <http://rdaregistry.info/termList/RDACarrierType/1049>

P60050

• <http://rdaregistry.info/termList/RDAMediaType/1007>

publication

• location: Åbo organizer: Åbo akademi. Departments of Information processing & Mathematics

publisher

• Åbo akademi. Departments of Information processing & Mathematics