Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedingsCAV (Conference) (5th 1993 Eloúnda, Greece) Costas CourcoubetisBerlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.697 e.1 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedingsCAV (Conference) (13th 2001 Paris) Hubert Comon; Gérard Berry 1948-; A FinkelBerlin Springer 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2102 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Computer aided verification 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedingsCAV (Conference) (14th 2002 Copenhagen, Denmark) Ed Brinksma; K. G Larsen 1957- (Kim G.)Berlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2404 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Computer aided verification 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 proceedingsCAV (Conference) (19th 2007 Berlin, Germany) Werner Damm; Holger Hermanns 1967Berlin Springer 2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4590 )(Acessar) |
|
5 |
Material Type: Livro
|
Computer aided verification 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedingsCAV (Conference) (17th 2005 Edinburgh, Scotland) Kousha Etessami; Sriram K Rajamani 1970Berlin Springer New York c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3576 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Computer aided verification 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20 2006 : proceedingsCAV (Conference) (18th 2006 Seattle, Wash.) Thomas Ball 1965; Robert B Jones (Robert Brent) 1969Berlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4144 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Computer aided verification 16th international conference, CAV 2004, Boston, MA, USA, July 13-17 2004 ; proceedingsCAV (Conference) (16th 2004 Boston, MA) Rajeev Alur 1966; Doron Peled 1962Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |