Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Rigorous development of complex fault-tolerant systemsWorkshop on Rigorous Engineering of Fault-tolerant Systems (2005 Newcastle upon Tyne, England) Michael Butler 1967; Cliff Jones; Alexander Romanovsky; Elena Troubitsyna; International Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England)Berlin Springer New York c2006Localização: IME - Inst. Matemática e Estatística (S L471c v.4157 )(Acessar) |
|
2 |
Material Type: Livro
|
Formal approaches to software testing third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papersFATES 2003 (2003 Montr eal, Qu ebec) Alexandre Petrenko; Andreas Ulrich Dr. Ing; IEEE International Automated Software Engineering Conference (18th 2003 Montr eal, Qu ebec)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papersInternational Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany) Lub eos Brim; Boudewijn R Haverkort; Martin Leucker; Jaco van de Pol; PDMC 2006 (2006 Bonn, Germany)Berlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4346 )(Acessar) |
|
4 |
Material Type: Livro
|
Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papersFATES/RV 2006 (2006 Seattle, Wash.) Klaus Havelund; Manuel Nunez; Grigore Rosu; Burkhart Wolff 1962-Berlin Springer 2006Localização: IME - Inst. Matemática e Estatística (S L471c v.4262 )(Acessar) |
|
5 |
Material Type: Livro
|
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papersFATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. DBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papersFATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten WeiseBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3997 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lecturesInternational School on Formal Methods for the Design of Computer Communication, and Software Systems (5th 2005 Bertinoro, Italy) Marco Bernardo; Alessandro BoglioloBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 proceedingsInternational Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England) John Fitzgerald 1965-; Ian Hayes; Andrzej TarleckiBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lecturesInternational School on Formal Methods for the Design of Computer Communication, and Software Systems (4th 2004 Bertinoro, Italy) Marco Bernardo; Flavio CorradiniBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |