Taideteollisen korkeakoulun julkaisuja. B
name: Tek. korkeak., Tietotek. os., Tietojenkäs.opin lab., A
name: MKTK:n julkaisu. A
name: Raportti / Teknillinen korkeakoulu, Akustiikan ja äänenkäsittelytekniikan laboratorio
name: Tampereen teknillinen korkeakoulu. Talonrakennustekniikka. Julkaisu
name: Talonrakennustekniikan laitoksen julkaisuja / Tampereen teknillinen korkeakoulu
name: Suomen Kirjallisuuden Seuran toimituksia
name: Julkaisusarja / Tampereen yliopiston kasvatustieteen laitos. A. Tutkimusraportti
name: HISTORIALLISIA TUTKIMUKSIA / SUOMEN HISTORIALLINEN SEURA / JULKAISSUT SUOMEN HISTORIALLINEN SEURA
name: Acta Universitatis Tamperensis. Series A
name: Julkaisusarja / Maanpuolustuskorkeakoulu. Taktiikan laitos. 2, Taktiikan asiatietoja
name: Lastensuoj. keskusl. julk
name: Varhaiskasvatuksen laitoksen julkaisusarja : B, Katsauksia
name: Tiedonantoja / Tampereen yliopisto. Aluetieteen laitos
name: Bibliotheca Historica / Suomen Historiallinen Seura
name: Tutkimuksia / Helsingin yliopisto, soveltavan kasvatustieteen laitos
name: Historiallinen arkisto /julk. Suomen historiallinen seura
name: Kymenlaakson ammattikorkeakoulun julkaisuja : Sarja D
name: Ministry of Social Affairs and Health handbooks
name: Humanistinen ammattikorkeakoulu. Sarja C, Oppimateriaaleja
name: Julkaisuja / Jyväskylän yliopisto. Taloustieteen laitos. Keski-Suomen taloudellinen tutkimuskeskus
name: Teknillinen korkeakoulu, maanmittaus- ja rakennustekniikan osasto, yhdyskuntatekniikan laitos, tietekniikka. A
name: Pirkanmaan liitto. Sarja A, pääjulkaisut
name: Raportti / Teknillinen korkeakoulu. Kevytrakennetekniikan laboratorio. B
name: Hist. tutk. (Joensuu)
name: Julkaisu / Tampereen teknillinen yliopisto, liikenne- ja kuljetustekniikka
name: Rap. - Sos.- terv.hall
name: KTM Julkaisuja / Energiaosasto
name: Teknillinen korkeakoulu. sähkötekniikan osasto. sähkömekaniikan laboratorio
name: Julkaisu / Oulun yliopisto, sarja A
name: Rap. - Tamp. tek. korkeak., Energ.- prosessitek
name: Acta Universitatis Tamperensis. B
name: Working papers / Helsinki School of Economics. W
name: Julkaisu. D / Hämeen ammattikorkeakoulu
name: Aalto-yliopiston julkaisusarja : Crossover
name: Siirtolaistutkimuksia
name: Aiheita/Sosiaali- ja terveysalan tutkimus- ja kehittämiskeskus
name: Rap. - Tek. korkeak., Sähkötek. osasto, Akust. äänenkäs
name: Sosiologian ja sosiaalipsykologian tutkimuksia : Sarja A
name: vtt
name: Helsinki School of Economics, Computer Centre
name: Raportti. B
name: Suomi : rautatiekomitean mietintö 1908 = Finland : järnvägskomitʹens betänkande 1908
name: Helsinki University of Technology, Laboratory for Theoretical Computer Science : A, Research reports
name: Oppimateriaaleja : Helsingin yliopisto, Lahden tutkimus- ja koulutuskeskus
name: Report : A / Department of Computer Science. University of Helsinki
name: Working paper / University of Jyväskylä, Department of Economics and Management
name: Julkaisusarja / Tampereen yliopiston kasvatustieteen laitos. A
name: Raportteja ja selvityksiä / Helsingin yliopisto. Lahden tutkimus- ja koulutuskeskus
name: Julkaisuja. Jyväskylän yliopisto, taloustieteiden tiedekunta
name: University of Tampere. Department of Mathematics, Statistics and Philosophy, University of Tampere. Report. A
name: Vaasan yliopiston julkaisuja, Tutkimuksia. Kielitiede
name: Helsinki School fo Economics. Series C
name: Reports / Helsinki University of Technology, Laboratory of Paper Technology. Series A
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja, Tampereen yliopisto. Sarja B 2, Opetusmonisteita
name: [Julkaisu / Insinöörijärjestöjen koulutuskeskus]
name: Työryhmämietintö / Sosiaali- ja terveysministeriö
name: Vaasan korkeakoulun julkaisuja
name: [Kotimaisten kielten tutkimuskeskuksen julkaisuja]
name: Acta Wasaensia : Accounting and finance
name: KASVATUSTIETEIDEN TUTKIMUSLAITOKSEN JULKAISUSARJA B. TEORIAA JA KÄYTÄNTÖÄ
name: Aino-projekti
name: Tampereen teknillinen korkeakoulu. Opintomoniste
name: Tampereen yliopiston kansantaloustieteen laitoksen tutkimussarja. Sarja B
name: Humanistinen ammattikorkeakoulu : Sarja D, Opinnäytetyöt
name: Working papers / Population Research Institute. E
name: MTI publications
name: Poliittisen historian tutkimuksia. D
name: Matkailun koulutus- ja tutkimuskeskus. Julkaisu. D
name: Savonia-ammattikorkeakoulun julkaisusarja
name: Publications du Ministère des affaires sociales et de la santé
name: Social- och hälsovårdsministeriets handböcker
name: Rap. - Hels. puh.yhd. tutk.l
name: Tekniska högskolan i Helsingfors. Laboratoriet för tillämpad elektronik : A
name: Oulun yliopisto. Pohjois-Suomen tutkimuslaitos
name: Ministry of social affairs and health, Finland : Publication series
name: Julkaisu / Vaasan yliopisto, Levón-instituutti
name: Kymenlaakson ammattikorkeakoulun julkaisuja : Sarja C, Opinnäytetyöt
name: Julkaisu. B / Oulun yliopisto, arkkitehtuurin osasto
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja : C, Tiedotteita
name: Teknillinen korkeakoulu, laivalaboratorio. M

Executable formal specifications in game development : design, validation and evolution
is part of: Fennica
book format: EBook
type: Instance
type: Book
example of work: Executable formal specifications in game development : design, validation and evolution
is part of: Taideteollisen korkeakoulun julkaisuja. B
type: CreativeWork

Executable formal specifications in game development : design, validation and evolution
about: mallintaminen
type: Work
language: en
about: kehittäminen
work example: Executable formal specifications in game development : design, validation and evolution
about: simulointi
about: suunnittelu
P60049: http://rdaregistry.info/termList/RDAContentType/1020
about: pelit
type: CreativeWork
is part of: Fennica
about: digitaaliset pelit
about: pelitutkimus
about: tietokonepelit
author: Nummenmaa, Timo

PropertyValue
value: 006512850
property ID: FI-MELINDA

Executable formal specifications in game development : design, validation and evolution
is part of: Taideteollisen korkeakoulun julkaisuja. B
type: CreativeWork
example of work: Executable formal specifications in game development : design, validation and evolution
type: Instance
description: Julkaistu myös verkkoaineistona ISBN 978-951-44-9276-1 (PDF)
is part of: Fennica

Executable formal specifications in game development : design, validation and evolution
isbn: 9789514492754
publisher: Tampere University Press
is part of: Taideteollisen korkeakoulun julkaisuja. B
type: Instance
date published: 2013
number of pages: 237 s.
publication:
  location: Tampere
  organizer: Tampere University Press
is part of: Fennica
description: kuvitettu
type: CreativeWork
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
example of work: Executable formal specifications in game development : design, validation and evolution
P60050: http://rdaregistry.info/termList/RDAMediaType/1007