Refinement algebra extended with operators for enabledness and termination
Finna-arvio
Refinement algebra extended with operators for enabledness and termination
Tallennettuna:
| Ulkoasu |
23, [3] sivua ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Turku :
Turku Centre for Computer Science,
2005.
|
| Sarja | TUCS technical reports, ISSN 1239-1891; No 658. |
| Aiheet | |
| Lisätiedot | Kim Solin, Joakim von Wright |
| ISBN |
952-12-1493-7 nidottu |
| Hae kokoteksti | |