Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil
Ana Cristina Vieira de Melo Anamaria M Moreira; Workshop on Formal Methods - WFM (2. 1999 Florianópolis, BR)
Florianópolis s.n. 1999
Localização: IME - Inst. Matemática e Estatística (PROD-2939714 )(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-2940378
prod-2937757
browse_callnumber
display.do?gathStatTab=true&dscnt=0&vl(1UIStartWith0)=exact&callNumberBrowseField=browse_callnumber&vid=USP&tabRealType=browseshelf&mode=Advanced&rfnGrp=1&tab=usp_fisico&vl(4708870UI0)=sub&dstmp=1720206209802&rfnGrpCounter=1&scp.scps=scope%3A%28USP_FISICO%29&fctV=Ci%C3%AAncia+Da+Computa%C3%A7%C3%A3o+%28Eventos%29&vl(4708880UI3)=all_items&callNumber=prod-2939714&fctN=facet_topic&vl(freeText0)=%20CI%C3%8ANCIA%20DA%20COMPUTA%C3%87%C3%83O&ct=display&fn=search&indx=13&recIdxs=0&elementId=0