Formal approach to consistency and reuse of links in hypermedia applications
Renata Pontin de Mattos Fortes Alvaro Garcia Neto; M C Nicoletti; Chi 96 Workshop on Formal Methods in Computer Human Interactions: Comparison, Benefits, Open Questions (1996 Vancouver)
Chi 96 Workshop on Formal Methods in Computer Human Interactions: Comparison, Benefits, Open Questions Vancouver : Acm, 1996Vancouver Acm 1996
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-912222 ) e outros locais(Acessar)
- 0
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
prod-912564
prod-911636
browse_callnumber
display.do?vl(4708289UI0)=sub&gathStatTab=true&dscnt=0&scp.scps=scope%3A%28USP_PRODUCAO%29&callNumberBrowseField=browse_callnumber&tabRealType=browseshelf&mode=Basic&vid=USP&tab=usp_producao&callNumber=prod-912222&vl(56004861UI1)=all_items&vl(freeText0)=Ci%C3%AAncia%20Da%20Computa%C3%A7%C3%A3o&dstmp=1720221624005&ct=display&fn=search&indx=3&recIdxs=0&elementId=0