Executable formal specifications in game development : design, validation and evolution
Executable formal specifications in game development : design, validation and evolution
Tallennettuna:
Genre | |
---|---|
Ulkoasu |
237 sivua : kuvitettu ; 25 cm Julkaistu myös verkkoaineistona |
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Julkaisija |
Tampere :
Tampere University Press,
2013
|
Opinnäyte | Väitöskirja : Tampereen yliopisto, informaatiotieteiden yksikkö, 2013 |
Sarja | Acta Universitatis Tamperensis, ISSN 1455-1616; 1875. |
Luokitus | |
Aiheet | |
Valmistaja | (Tampere : Suomen Yliopistopaino - Juvenes Print) |
Lisätiedot | Timo Nummenmaa |
Verkkoaineisto |
978-951-44-9276-1 |
ISBN |
978-951-44-9275-4 nidottu |
Hae kokoteksti |