skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: assunto: Formal Methods (Computer Science) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

International Conference on Formal Engineering Methods (7th 2005 Manchester, England) K.-K Lau (Kung-Kiu) 1953; Richard Banach

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

2
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings

International Conference on Formal Engineering Methods (8th 2006 Macau, China) Zhiming Liu 1961; Jifeng He 1943

Berlin Springer New York c2006

Acesso online. A biblioteca também possui exemplares impressos.

3
Formal methods and stochastic models for performance evaluation Fourth European Performance Engineering Workshop EPEW 2007, Berlin, Germany, September, 2007 : proceedings
Formal methods and stochastic models for performance evaluation Fourth European Performance Engineering Workshop EPEW 2007, Berlin, Germany, September, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and stochastic models for performance evaluation Fourth European Performance Engineering Workshop EPEW 2007, Berlin, Germany, September, 2007 : proceedings

EPEW 2007 (2007 Berlin, Germany) Katinka Wolter

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4748 ) e outros locais(Acessar)

4
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings

International Conference on Formal Engineering Methods (6th 2004 Seattle, Wash.) Jim Davies 1964; Wolfram Schulte; Mike Barnett 1957

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

5
Formal methods : foundations and applications 14th Brazilian Symposium on Formal Methods, SBMF 2011, São Paulo, September 26-30 2011 : revised selected papers
Formal methods : foundations and applications 14th Brazilian Symposium on Formal Methods, SBMF 2011, São Paulo, September 26-30 2011 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods : foundations and applications 14th Brazilian Symposium on Formal Methods, SBMF 2011, São Paulo, September 26-30 2011 : revised selected papers

Brazilian Symposium on Formal Methods (14th : 2011 : Sao Paulo, Brazil) Adenilso da Silva Simão; Carroll Morgan 1952-

Heidelberg Springer c2011

Localização: EACH - Esc. Artes, Ciências e Humanidades    (005.1 B827f 2011 ) e outros locais(Acessar)

6
Rigorous development of complex fault-tolerant systems
Rigorous development of complex fault-tolerant systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Rigorous development of complex fault-tolerant systems

Workshop 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 c2006

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4157 )(Acessar)

7
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures

FMCO 2006 (2006 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4709 ) e outros locais(Acessar)

8
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 papers
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 papers
Material Type:
Livro 		Adicionar ao Meu Espaço

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 papers

International 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 c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4346 )(Acessar)

9
Web services and formal methods third international workshop, WS-FM 2006, Vienna, Austria, September 8-9 2006 : proceedings
Web services and formal methods third international workshop, WS-FM 2006, Vienna, Austria, September 8-9 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Web services and formal methods third international workshop, WS-FM 2006, Vienna, Austria, September 8-9 2006 : proceedings

WS-FM 2006 (2006 Vienna, Austria) Mario Bravetti; Manuel N u nez Profesor; Gianluigi Zavattaro

Berlin Springer New York 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4184 ) e outros locais(Acessar)

10
Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29 2007 : proceedings
Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29 2007 : proceedings

FORTE 2007 (2007 Tallinn, Estonia) John Derrick 1963; J uri Vain; IFIP Working Group 6.1

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4574 )(Acessar)

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (5)

Data de Publicação 

De até
Refinar
  1. Antes de2005  (2)
  2. 2005Até2005  (2)
  3. 2006Até2006  (4)
  4. 2007Até2008  (6)
  5. Após 2008  (1)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.