Validating correctness with behavioural abstractions
Validating correctness with behavioural abstractions
Tallennettuna:
Genre | |
---|---|
Ulkoasu |
x, 53, [65] sivua : kuvitettu ; 25 cm |
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Huomautukset |
Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta. |
Julkaisija |
Tampere :
Tampere University of Technology,
2005
|
Opinnäyte | Väitöskirja Tampereen teknillinen yliopisto |
Sarja | Publication / Tampere University of Technology, ISSN 1459-2045; 550. |
Luokitus | |
Valmistaja | (TTY-paino) |
Lisätiedot | Timo Aaltonen |
ISBN |
952-15-1456-6 nidottu |
Hae kokoteksti |