Forsknings- och utvecklingscentralen för social- och hälsovården
name: Teknillinen korkeakoulu, maanmittaus- ja rakennustekniikan osasto, yhdyskuntatekniikan laitos, tietekniikka : A
name: Rap. - Museovirasto Rakenn.hist. os
name: Raportti / Helsingin teknillinen korkeakoulu. Teknillisen fysiikan osasto. B
name: Skrifter utgifna af Svenska literatursällskapet i Finland
name: Julkaisu / Matkailun koulutus- ja tutkimuskeskus. F
name: Acta Universitatis Tamperensis ; Ser. A
name: Department of Sociology and Social Psychology / University of Tampere. Series A
name: Helsinki University of Technology. Department of Electrical Engineering. Circuit Theory Laboratory
name: HUCH, Jorvi Hospital publications. Series A
name: Brochures of the Ministry of Social Affairs and Health
name: Teknillinen korkeakoulu. sähkö- ja tietoliikennetekniikan osasto. sähkömekaniikan laboratorio
name: [Tutkimukset ja selvitykset / Valtiovarainministeriö]
name: Raportti / Teknillinen korkeakoulu, sähkö- ja tietoliikennetekniikan osasto, sähkömekaniikan laboratorio
name: [Eurooppatietoa]
name: Kasvatustieteiden tiedekunnan tutkimuksia
name: Institute for Educational Research. Publication series B, Theory into praxis
name: Helsinki University of Technology Laboratory of Structural Engineering and Building Physics publication
name: Suomalainen Kirjallisuuden seura
name: Julk.sar. - Tamp. yliop., Tietojenkäs.tieteiden laitos, B
name: Julkaisusarja A : Tutkimusraportti / Tampereen yliopiston kasvatustieteen laitos
name: Julkaisuja. [sarja] c
name: Acta Wasaensia. Språkvetenskap
name: Julkaisu / Arkkitehtiosasto, rakennussuunnittelun laitos, teknillinen korkeakoulu. A
name: Historiska studier från Helsingfors universitetet
name: Vaasan yliop. julk., Tutk., Viestintät
name: Yhteiskuntatieteiden tutkimuslaitos, Tampereen yliopisto : B, Tutkimuksia
name: Tilastotiedote / STAKES
name: Tutkimuksia / Helsingin yliopisto, Opettajankoulutuslaitos
name: Valtion teknillinen tutkimuskeskus tiedotteita
name: Julkaisu / Pirkanmaan liitto : C
name: Pol.hist., Turun yliop., F
name: Technology, society, environment
name: Sosiaali- ja Terveyshallitus Raportteja
name: Sos.- terv.minist. esitteitä (Pain.)
name: Julkaisusarja / Sotatieteen laitos. 3, Strategian asiatietoa
name: Julkaisuja / Kymenlaakson ammattikorkeakoulu. Sarja C
name: Tampereen yliopisto. sosiologian ja sosiaalipsykologian laitos. A, Tutkimuksia
name: Sosiaali- ja terveysalan tutkimus- ja kehittämiskeskus / Raportteja
name: Oppaita/Handböcker / Sosiaali- ja terveysalan tutkimus- ja kehittämiskeskus
name: Sosiaali- ja terveysministeriön oppaita. 1998
name: Julkaisusarja / Maanpuolustuskorkeakoulu, strategian laitos. 1, Strategian tutkimuksia
name: Musta taide, ISSN
name: Valtion teknillinen tutkimuskeskus : juhlajulkaisu
name: Varhaiskasvatuksen laitoksen julkaisusarja. B, Katsauksia
name: Raportti / Teknillinen korkeakoulu
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja / Tampereen yliopisto. B2, Opetusmonisteita
name: Publications : Dissertation series / Aalto University, School of Science and Technology, SimLab
name: Julk. - Etelä-Pohjanm. maak.mus., Luonnont. os
name: Vaasan yliopisto : Levón-instituutin julkaisuja
name: Vaasan korkeakoulun julkaisuja. Tutkimuksia
name: Acta Vasaensia. Liiketaloustiede
name: Skrifter utg. Av Svenska litteratursällskapet i Finland. 396
name: Julkaisusarja / Maanpuolustuskorkeakoulu, strategian laitos ; Strategian tutkimuksia
name: Finnish Defence College, Department of Technology : Series 1, Military technology research
name: Päijät-Hämeen seutukaaval. julk., B
name: Julk.luett. - Tamp. tek. korkeak
name: Report : C / University of Helsinki, Department of Computer Science
name: Työpaperit : Taideteollisen korkeakoulun julkaisusarja. F
name: Report series / University of Turku, Faculty of Education : C
name: [Helsingin yliopisto, Lahden tutkimus- ja koulutuskeskus]. [Oppimateriaaleja]
name: Julk.sar. - Maanpuol.korkeak., Taktiikan laitos, 2 Taktiikan asiatietoja
name: Research report / University of Helsinki, Department of education
name: Etelä-Pohjanmaan liitto : talousarvio 2010 ja taloussuunnitelma 2011-2012
name: Acta Wasaensia. Hallintotiede
name: Finnish Literature Society editions
name: Helsinki University of Technology. Applied Electronics Laboratory. B, Research reports
name: Helsinki University of Technology. Digital Systems Laboratory. Series B
name: Helsinki University of Technology, Heating, Ventilating and Air Conditioning : B
name: Acta Universitatis Tamperensis. B
name: Selosteita / Turun yliopiston kasvatustieteiden tiedekunta. B
name: Julkaisusarja / Helsingin yliopisto, maaseudun tutkimus- ja koulutuskeskus, Seinäjoki. B
name: Julkaisusarja / Maanpuolustuskorkeakoulu. Tekniikan laitos. 2, Matemaattisia ja luonnontieteellisiä tutkimuksia
name: Selvityksiä / MTT Taloustutkimus (MTTL)
name: Tampereen yliopisto, sosiologian ja sosiaalipsykologian laitos. Sarja B
name: Acta Wasaensia, Business administration / Universitas Wasaensis
name: Poliittisen historian julkaisuja
name: Statistikmeddelande / Forsknings- och utvecklingscentralen för social- och hälsovården
name: Publikationer från Vasa universitet : Rapporter
name: VTT Research Notes
name: Publication series / National Defence College, Department of Management and Leadership. 1, Research reports

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

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

PropertyValue
value: 005497643
property ID: FI-MELINDA

PropertyValue
value: fx68315
property ID: skl

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

PropertyValue
property ID: FI-FENNI
value: 68315