Tietolipas / SKS
name: Publicationes Instituti Geographici Universitatis Helsingiensis. C
name: Research reports / Helsinki University of Technology. Digital Systems Laboratory. Series A
name: Humak University of Applied Sciences Library University of Applied Sciences : Series C, Educational materials
name: [Kommittébetänkande] : till Hans Kejserliga Majestät af komitén för omorganisation af klockare- och orgelnistundervisningen i landet för dess evangelisk-lutherska församlingar, underdånigst
name: Report / University of Tampere, Department of Computer Sciences. A
name: Report / University of Helsinki. Observatory and Astrophysics Laboratory
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja : Sarja A 2, Tutkielmia ja raportteja
name: Report Series / University of Turku, Faculty of Education. C
name: Aalto-yliopiston taideteollisen korkeakoulun julkaisusarja : B
name: Vaasan yliopiston julkaisuja : Oikeustiede
name: Suomen kansan vanhat runot
name: Helsingin kauppakorkeakoulun kirjaston julkaisuja : T
name: Julkaisuja. Sarja A, Oppimateriaali / Kymenlaakson ammattikorkeakoulu
name: Publications / Centre for Women's Studies and Gender Relations. Series N
name: Helsingin yliopisto. Yleislääketieteen laitos. Julkaisusarja
name: Nuorisoasiain neuvottelukunta, julkaisuja
name: Taideteollisen korkeakoulun julkaisuja : B. 65
name: Suom. kotiseutul. julk., B
name: Sosiaalipolitiikan laitoksen tutkimuksia. Sarja C. Sosiaalipolitiikan käytäntö ja opetus
name: Päijät-Hämeen maak.- seutukaaval. julk., D
name: Suomalaisen Kirjallisuuden Seuran toimituksia, 17 osa
name: Sosiaali- ja terveysalan tutkimus- ja kehittämiskeskus / FinSoc. Työpapereita
name: Hels. School Econ. Comput. Cent
name: Helsingin Yliopiston Tutkimus- ja koulutuskeskus Palmenia. Oppimateriaaleja
name: Publications / University of Helsinki, Department of General Linguistics
name: Administrative science : C, Working papers / University of Tampere, Department of Administrative Science
name: Helsingin yliopisto. Sarja B
name: Helsingin yliopiston Lahden tutkimus- ja koulutuskeskuksen tutkimuksia
name: MTI financed studies
name: Research report / Lappeenranta University of Technology, Department of Information Technology
name: Julkaisusarja. 3, Työpapereita
name: Sosiaalipolitiikan laitoksen tutkimuksia.Sarja C.Sosiaalipolitiikan käytäntö ja opetus
name: Hels. kauppakorkeak
name: Julkaisu / Lappeenrannan teknillinen yliopisto, koulutus- ja kehittämiskeskus
name: Working papers : supplement to Bulletin No 4 of the International continuing liaison council of the World congress of peace forces
name: Helsingin yliopiston sosiaalipsykologian laitoksen tutkimuksia
name: VTT meddelanden / Statens tekniska forskningscentral
name: Jyväskylän yliopisto. Kansanterveyden laitos. Sarja C, Opetusmonisteita
name: Series / National Defence College, Department of Strategic and Defence Studies. 2, Research Reports
name: Aino-projekti
name: Research Institute of Northern Finland. University of Oulu : B
name: Pirkanmaan liitto. Sarja B, Erillisselvitykset ja tutkimukset
name: Julkaisuja / Tampereen yliopisto. Yhteiskuntatieteiden tutkimuslaitos
name: Tampereen yliopisto. Yhteiskuntatieteiden tutkimuslaitos.. Sarja C
name: Helsingin yliopiston Kansainvälisen talousoikeuden instituutin julkaisuja
name: Tampereen yliopisto. Kansantaloustieteen laitos. D
name: Teknillinen korkeakoulu. teknillisen fysiikan ja matematiikan osasto. laskennallinen dynamiikka
name: Työpapereita / Taiteen keskustoimikunta = Working papers
name: Julk. - Jyväsk. yliop., Yhteisk.tiet. laitos
name: Julkaisusarja. C
name: Humanistinen ammattikorkeakoulu. Sarja B. Projektiraportit ja selvitykset
name: Helsingin teknillinen korkeakoulu. Sovelletun elektroniikan laboratorio : A
name: Hels. kauppakorkeak. kirj. julk., T
name: Tampereen yliopisto, turvallisuushallinto. A
name: Rapporter och artiklar / Jyväskylän yliopisto, Chydenius-instituutti
name: Series of publications / University of Tampere, Department of Computer Sciences. A
name: Series : 3
name: Acta Wasaensia, Business administration, marketing
name: Oulun yliopisto : opetusohjelma 1959-1960 : alustava ehdotus 26. 9. 1959
name: Suomalaisen Kirjallisuuden Seuran toimituksia = Publications of the Finnish Literature Society
name: Research report / National Research and Development Centre for welfare and health
name: Rap[p]orter / Kuntokallio
name: Helsinki University of Technology, Laboratory of Applied Thermodynamics
name: Julkaisuja / Tampereen yliopisto, hoitotieteen laitos. A
name: Tampereen Yliopisto, Kotimainen Kirjallisuus
name: Teknillinen korkeakoulu : harjoitteluvaatimukset ja -ohjeet
name: Teknillinen korkeakoulu, sähkö- ja tietoliikennetekniikan osasto, sähkömekaniikan laboratorio
name: Tampereen yliopisto. Yhteiskuntatieteiden tutkimuslaitos. Sarja D
name: Yhteiskuntatieteiden tutkimuslaitos. Tampereen yliopisto. Sarja D
name: Julkaisusarja / Maanpuolustuskorkeakoulu, tekniikan laitos. 2
name: Julkaisusarja / Maanpuolustuskorkeakoulu, Strategian laitos. 1 Strategian tutkimuksia
name: Studies / Finnish Centre for Pensions
name: Tamp. tek. korkeak., Rakenn.tek. os., Vesitek
name: Reports / University of Helsinki, Department of Agricultural and Forest Zoology
name: Raportti / [Helsingin] teknillinen korkeakoulu. Kevytrakennetekniikan laboratorio. Sarja B
name: Humanistinen ammattikorkeakoulu. Sarja D
name: Tiedonantoja / Maatalouden taloudellinen tutkimuslaitos = Research reports / Agricultural Economics Research Institute, Finland
name: Tiedotteita / Valtion tekninen tutkimuskeskus
name: Publication series : 2, Article collection / National Defence University, Department of Leadership and Military Pedagogy
name: Teknillinen korkeakoulu. Paperitekniikan laboratorio. Reports. Series C

A tool for teaching program verification
number of pages: [4], 77 lehteä
type: Instance
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
description: kuvitettu
isbn: 9514418549
is part of: Tampereen yliopisto. Matemaattisten tieteiden laitos. Raportti. A
date published: 1985
example of work: A tool for teaching program verification
is part of: Fennica
type: CreativeWork
publisher: Tampereen yliopisto. Kauppakorkeakoulu
publication:
  organizer: Tampereen yliopisto (1966-2018)
  location: Tampere
  organizer: Tampereen yliopisto. Kauppakorkeakoulu
publisher: Tampereen yliopisto (1966-2018)
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
is part of: Tietolipas / SKS

PropertyValue
property ID: FI-FENNI
value: 68315

A tool for teaching program verification
work example: A tool for teaching program verification
P60049: http://rdaregistry.info/termList/RDAContentType/1020
type: Work
type: CreativeWork
author: Hietala, Pentti
language: en
is part of: Fennica

PropertyValue
property ID: skl
value: fx68315

PropertyValue
property ID: FI-MELINDA
value: 005497643

Tampereen yliopisto. Matemaattisten tieteiden laitos. Raportti. A
name: Tampereen yliopisto. Matemaattisten tieteiden laitos. Raportti. C