Formaalit menetelmät
Finna-arvio
Formaalit menetelmät
Tallennettuna:
| Ulkoasu |
171 sivua |
|---|---|
| Kieli |
suomi englanti |
| Alkuteoksen kieli |
englanti suomi |
| Julkaisija |
Jyväskylä,
2005.
|
| Sarja | Jyväskylän yliopisto. Tietotekniikan laitos : Luentomoniste, ISSN 1456-9787; 12. |
| Luokitus | |
| Aiheet | |
| Lisätiedot | Antti-Juhani Kaijanaho |
| ISBN |
951-39-2073-9 |