Tornando a linguagem LOTOS apta para especificar sistemas dependentes do tempo
Show simple item record
| dc.contributor.author |
Camargo, Murilo Silva de |
en |
| dc.date.accessioned |
2013-12-09T18:32:53Z |
|
| dc.date.available |
2013-12-09T18:32:53Z |
|
| dc.date.issued |
1995 |
|
| dc.date.submitted |
1995 |
en |
| dc.identifier.other |
99799 |
en |
| dc.identifier.uri |
https://repositorio.ufsc.br/handle/123456789/111733 |
|
| dc.format.extent |
175 p. |
en |
| dc.title |
Tornando a linguagem LOTOS apta para especificar sistemas dependentes do tempo |
en |
| dc.type |
Tese (Doutorado) |
en |
Files in this item
This item appears in the following Collection(s)
Show simple item record
Search DSpace
Browse
-
All of DSpace
-
This Collection
My Account
Statistics
Compartilhar