Mathematical methods in proving properties of programs

Mathematical methods in proving properties of programs

datePublished

• 1977

description

• kuvitettu
• Sarjan päänimeke: Tutkimussarja / Helsingin teknillinen korkeakoulu. Laskentakeskus.

identifier

• propertyID: FI-FENNI value: 101344
• propertyID: FI-MELINDA value: 004016434
• propertyID: skl value: fx101344

isbn

• 9517511299

isPartOf

• Fennica
• Helsinki University of Technology. Computing Centre

name

• Mathematical methods in proving properties of programs

numberOfPages

• [3], 28 s.

P60048

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

P60050

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

publication

• location: Espoo organizer: Teknillinen korkeakoulu

publisher

• Teknillinen korkeakoulu