skip to main content
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
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
Challenges for Action Theories
Challenges for Action Theories
Material Type:
Livro
Adicionar ao Meu Espaço

Challenges for Action Theories

Michael Thielscher

Springer Berlin Heidelberg 2000

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

3
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)

4
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

To test or not to test that is a formal question

Adenilso da Silva Simão Brazilian Symposium on Formal Methods - SBMF (18. 2015 Belo Horizonte, MG)

Lecture Notes in Computer Science Cham : Springer v. 9526, p. XIV-XV, 2015

Cham Springer 2015

Item não circula. Consulte sua biblioteca.(Acessar)

5
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas

Pereira, David Paulo

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-03-09

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

6
Material Type:
Tese de Doutorado
Adicionar ao Meu Espaço

Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências.

Sousa, Thiago Carvalho De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2013-11-29

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

7
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Especificação e verificação formal de requisitos para sistemas de tráfego aéreo.

Aguchiku, Fábio Seiti

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2018-08-03

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

8
Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Methods in Human-Computer Interaction

S. A. Palanque, Philippe Paternò, Fabio Schuman

Springer London 1998

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

9
From object-orientation to formal methods essays in memory of Ole-Johan Dahl
Material Type:
Livro
Adicionar ao Meu Espaço

From object-orientation to formal methods essays in memory of Ole-Johan Dahl

Ole-Johan Dahl 1931-; Olaf Owe; Stein Krogdahl; Tom Lyche

Berlin Springer New York c2004

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

10
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)

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. Artigos  (7.840)
  2. Anais de Congresso  (851)
  3. Relatórios Técnicos  (90)
  4. Livros  (86)
  5. Dissertações  (65)
  6. Recursos Textuais  (42)
  7. Resenhas  (31)
  8. Outros  (21)
  9. Produções Acadêmicas  (6)
  10. Book Chapters  (5)
  11. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1960  (944)
  2. 1960Até1974  (876)
  3. 1975Até1989  (1.463)
  4. 1990Até2005  (2.540)
  5. Após 2005  (3.132)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (8.950)
  2. Espanhol  (18)
  3. Português  (17)
  4. Francês  (15)
  5. Alemão  (7)
  6. Japonês  (5)
  7. Chinês  (4)
  8. Norueguês  (2)
  9. Dinamarquês  (1)
  10. Italiano  (1)
  11. Turco  (1)
  12. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.