Integrated formal methods 5th international conference, IFM 2005, Eindhoven, the Netherlands November 29--December 2, 2005 : proceedings
International Conference on Integrated Formal Methods (5th 2005 Eindhoven, Netherlands) Judi Romijn; Graeme Smith 1966; Jaco van de Pol; SpringerLink (Online service)
Berlin Springer c2005
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3771 ) 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.3798
68-02 lncs v.3713
browse_callnumber
display.do?vl(4708289UI0)=sub&gathStatTab=true&dscnt=0&gathStatIcon=true&callNumberBrowseField=browse_callnumber&tabRealType=browseshelf&mode=Basic&vid=USP&tab=usp_fisico&vl(56004861UI1)=all_items&dstmp=1718003509197&scp.scps=scope%3A%28USP_FISICO%29&callNumber=68-02+lncs+v.3771&vl(freeText0)=Especifica%C3%A7%C3%A3o%20De%20Sistemas%20E%20Programas%20%28Congressos%29&ct=display&fn=search&indx=2&recIdxs=0&elementId=0