Efficient computer-aided verification of parallel and distributed software systems
Efficient computer-aided verification of parallel and distributed software systems
Tallennettuna:
| Genre | |
|---|---|
| Ulkoasu |
63, [84] sivua : kuvitettu ; 25 cm |
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Huomautukset |
Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta. |
| Julkaisija |
Espoo :
Helsinki University of Technology,
2003
|
| Opinnäyte | Väitöskirja Espoo : Teknillinen korkeakoulu |
| Sarja | Helsinki University of Technology. Laboratory for Theoretical Computer Science. A, Research reports, ISSN 1457-7615; 81 |
| Luokitus | |
| Valmistaja | (Otamedia) |
| Lisätiedot | Marko Mäkelä |
| ISBN |
951-22-6791-8 nidottu |
| Standardinumero |
HUT-TCS-A81 |
| Hae kokoteksti | |