Revising formal program specifications using KMTS
Paulo de Tarso Guerra Oliveira Aline Andrade; Renata Wassermann; World Congress and School on Universal Logic (4. 2013 Rio de Janeiro, Brasil)
Handbook of the 4th World Congress and School on Universal Logic Rio de Janeiro : UNILOG, 2013Rio de Janeiro UNILOG 2013
Acesso online. A biblioteca também possui exemplares impressos.
- 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-2974877
prod-2972877
browse_callnumber
display.do?vl(4708289UI0)=creator&gathStatTab=true&dscnt=0&callNumberBrowseField=browse_callnumber&mode=Basic&tabRealType=browseshelf&vid=USP&rfnGrp=1&tab=usp_producao&vl(56004861UI1)=all_items&dstmp=1720809703977&rfnGrpCounter=1&scp.scps=scope%3A%28USP_PRODUCAO%29&fctV=Handbook+of+the+4th+World+Congress+and+School+on+Universal+Logic&callNumber=prod-2974556&fctN=facet_jtitle&vl(freeText0)=Renata%20Wassermann&ct=display&fn=search&indx=2&recIdxs=0&elementId=0