Validating correctness with behavioural abstractions
Validating correctness with behavioural abstractions
Sparad:
| Genre | |
|---|---|
| Fysisk beskrivning |
x, 53, [65] sivua : kuvitettu ; 25 cm |
| Språk |
engelska |
| Originalverkets språk |
engelska |
| Beskrivning |
Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta. |
| Förlag |
Tampere :
Tampere University of Technology,
2005
|
| Lärdomsprov | Väitöskirja Tampereen teknillinen yliopisto |
| Serie | Publication / Tampere University of Technology, ISSN 1459-2045; 550. |
| Klassifikation | |
| Tillverkare | (TTY-paino) |
| Mer information | Timo Aaltonen |
| ISBN |
952-15-1456-6 nidottu |
| Hämta fulltext | |