skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-

Berlin Springer New York c1999

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

2
Applied formal methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
Applied formal methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied formal methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings

International Workshop on Current Trends in Applied Formal Methods (1998 Boppard, Germany) Dieter Hutter

Berlin Springer New York c1999

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

3
Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop
Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop

Chris Hankin; I Mackie (Ian); R Nagarajan (Rajagopal); Imperial College of Science, Technology, and Medicine (Great Britain) Dept. of Computing; Imperial College Department of Computing Workshop on Theory and Formal Methods (2nd 1994 Cambridge, England)

London Imperial College Press Singapore River Edge, NJ Distributed by World Scientific c1995

Localização: IF - Instituto de Física    (005.106 W926t 2nd )(Acessar)

4
Advances in theory and formal methods of computing proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996
Advances in theory and formal methods of computing proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in theory and formal methods of computing proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996

A Edalat (Abbas); S Jourdan (Sofia); G McCusker (Guy); Imperial College of Science, Technology, and Medicine (Great Britain) Dept. of Computing; Imperial College Department of Computing Workshop on Theory and Formal Methods (3rd 1996 Oxford, England)

London Imperial College Press c1996

Localização: IF - Instituto de Física    (004.06 W926a 3rd )(Acessar)

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
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.

7
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.

8
Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

EEF/Euro Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands) Ed Brinksma; Holger Hermanns 1967-; Joost-Pieter Katoen

Berlin Springer New York c2001

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

9
Integrated formal methods second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
Integrated formal methods second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Integrated formal methods second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

International Conference on Integrated Formal Methods (2nd 2000 Dagstuhl Castle, Germany) Wolfgang Grieskamp 1960-; Thomas Santen 1965-; Bill Stoddart 1946-

Berlin Springer New York 2000

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

10
Integrated formal methods 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 proceedings
Integrated formal methods 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Integrated formal methods 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 proceedings

International Conference on Integrated Formal Methods (4th 2004 Canterbury, England) Eerke Boiten 1966; John Derrick 1963; Graeme Smith 1966

Berlin Springer New York c2004

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.181)
  2. Artigos  (1)
  3. Book Chapters  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (10)
  2. 1992Até1999  (23)
  3. 2000Até2007  (286)
  4. 2008Até2016  (665)
  5. Após 2016  (381)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.182)
  2. Alemão  (6)
  3. Japonês  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.