Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
EEF/Euro Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands) Ed Brinksma; Holger Hermanns 1967-; Joost-Pieter Katoen
Berlin Springer New York c2001
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2090 ) 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
68-02 lncs v.2115
68-02 lncs v.2045
browse_callnumber
display.do?gathStatTab=true&dscnt=0&callNumberBrowseField=browse_callnumber&mode=Basic&vid=USP&tabRealType=browseshelf&rfnGrp=1&tab=usp_fisico&dstmp=1719698961265&rfnGrpCounter=1&viewAllItemsClicked=false&fctV=Engenharia+De+Software&callNumber=68-02+lncs+v.2090&fctN=facet_topic&vl(freeText0)=Computer%20Science&ct=display&fn=search&indx=4&recIdxs=0&elementId=0