Lanean...
TEMPORAL LOGIC OF PROGRAMS.
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Livro |
| Hizkuntza: | Inglês |
| Argitaratua: |
SPRINGER-VERLAG,
S1987
|
| Gaiak: | |
| Sarrera elektronikoa: | https://minerva.ufrj.br/F/?func=direct&doc_number=000178716&local_base=UFR01 |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|