The DisCo language and temporal logic of actions
Finna-arvio
The DisCo language and temporal logic of actions
Tallennettuna:
Ulkoasu |
14, [2] sivua : kuvitettu ; 30 cm |
---|---|
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Julkaisija |
Tampere :
Tampere University of Technology,
1990.
|
Sarja | Report / Tampere University of Technology, Software Systems Laboratory, ISSN 0786-0102; 11. |
Luokitus | |
Lisätiedot | Hannu-Matti Järvinen and Reino Kurki-Suonio |
ISBN |
951-721-587-8 nidottu |
Hae kokoteksti |