National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Executable formal specifications in game development : design, validation and evolution
URI:
http://urn.fi/URN:NBN:fi:bib:me:W00651285000
about
digitaaliset pelit
kehittäminen
mallintaminen
pelit
pelitutkimus
simulointi
suunnittelu
tietokonepelit
author
Nummenmaa, Timo
inLanguage
en
isPartOf
Fennica
name
Executable formal specifications in game development : design, validation and evolution
P60049
<http://rdaregistry.info/termList/RDAContentType/1020>
Instances
-
-, e-book
2013 : Tampere University Press
Executable formal specifications in game development : design, validation and evolution
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00651285001
description
Julkaistu myös verkkoaineistona ISBN 978-951-44-9276-1 (PDF)
isPartOf
Fennica
Julkaisu / Kanta-Hämeen seutukaavaliitto. II
name
Executable formal specifications in game development : design, validation and evolution
Executable formal specifications in game development : design, validation and evolution
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00651285002
bookFormat
<http://schema.org/EBook>
isPartOf
Fennica
Julkaisu / Kanta-Hämeen seutukaavaliitto. II
name
Executable formal specifications in game development : design, validation and evolution
url
<http://urn.fi/URN:ISBN:978-951-44-9276-1>
Executable formal specifications in game development : design, validation and evolution
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00651285000
datePublished
2013
description
kuvitettu
identifier
propertyID:
FI-MELINDA
value:
006512850
isbn
9789514492754
isPartOf
Fennica
Julkaisu / Kanta-Hämeen seutukaavaliitto. II
name
Executable formal specifications in game development : design, validation and evolution
numberOfPages
237 s.
P60048
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1007>
publication
location:
Tampere
organizer:
Tampere University Press
publisher
Tampere University Press
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD