13V : a program proof management system

13V : a program proof management system

datePublished

• 1987

description

• kuvitettu

identifier

• propertyID: FI-FENNI value: 68527
• propertyID: FI-MELINDA value: 001622221
• propertyID: skl value: fx68527

isbn

• 9514420837

isPartOf

• Fennica
• Sosiaalipolitiikan laitoksen tutkimuksia / Tampereen yliopisto. Sarja C, Sosiaalipolitiikan käytäntö ja opetus
• Tampereen yliopisto. Matemaattisten tieteiden laitos. Raportti. A

name

• 13V : a program proof management system

numberOfPages

• [2], 34 lehteä

P60048

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

P60050

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

publication

• location: Tampere organizer: Tampereen yliopisto (1966-2018) Tampereen yliopisto. Kauppakorkeakoulu

publisher

• Tampereen yliopisto (1966-2018)
• Tampereen yliopisto. Kauppakorkeakoulu