1
|
Material Type: Livro
|
|
Static analysis proceedings [of the] third international symposium, sas'96, held in aachen, germany, september 24-26, 1996
International Static Analysis Symposium (3. 1996 Aachen, De) Radhia Cousot; David Schmidt
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1145 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Model driven engineering languages and systems 10th international conference, MODELS 2007, Nashville, USA, September 30-October 5, 2007 proceedings
MODELS 2007 (2007 Nashville, Tenn.) Bill Opdyke; Douglas C Schmidt; Frank Weil; G Engels
Berlin Springer New York c2007
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4735 ) e outros locais(Acessar)
|