Model-driven development and verification of fault tolerant systems
Model-driven development and verification of fault tolerant systems
Tallennettuna:
Genre | |
---|---|
Ulkoasu |
xii, 87 sivua, 58 sivua useina numerointijaksoina : kuvitettu ; 25 cm |
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Huomautukset |
Artikkeliväitöskirjan yhteenveto-osa ja 6 eripainosta. |
Julkaisija |
Åbo :
Turku Centre for Computer Science,
2017.
|
Opinnäyte | Väitöskirja : Åbo Akademi, 2017 |
Sarja | TUCS dissertations, ISSN 1239-1883; no 223. |
Luokitus | |
Aiheet | |
Valmistaja | Åbo : Painosalama Oy |
Lisätiedot | Kashif Javed |
Muu ilmiasu |
Verkkoaineisto: 978-952-12-3553-5 |
ISBN |
978-952-12-3552-8 pehmeäkantinen |