skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: assunto: Teoria Da Computação remover Engenharia De Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mathematical theory of computation
Mathematical theory of computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical theory of computation

Zohar Manna

New York McGraw-Hill 1974

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (005.1 M315m ) e outros locais(Acessar)

2
Logic and Computation: Interactive Proof with Cambridge LCF
Logic and Computation: Interactive Proof with Cambridge LCF
Logic and Computation: Interactive Proof with Cambridge LCF
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and Computation: Interactive Proof with Cambridge LCF

Lawrence C. Paulson

Cambridge Cambridge University Press 1987

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

3
Understanding Z a specification language and its formal semantics
Understanding Z a specification language and its formal semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

Understanding Z a specification language and its formal semantics

J. M. Spivey

Cambridge Cambridgeshire New York Cambridge University Press 1988

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.05 S761u e.1 ) e outros locais(Acessar)

4
Recent trends in data types specification selected papers
Recent trends in data types specification selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in data types specification selected papers

Workshop on Specification on Abstract Data Types,5., Edinburgh, 1987 Andrzej Tarlecki

Berlin Springer 1988

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

5
Algebraic methods theory, tools and applications : proceedings
Algebraic methods theory, tools and applications : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methods theory, tools and applications : proceedings

Workshop on Algebraic Methods : Theory, Tools andApplications, 1., Passau, 1987 Jan A Bergstra; Martin Wirsing

Berlin Springer 1989

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

6
Computer-aided verification proceedings
Computer-aided verification proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer-aided verification proceedings

DIMACS Workshop on Computer-Aided Verification (2nd 1990 Center for Discrete Mathematics and Theoretical Computer Science) E. M Clarke 1945-; R. P Kurshan 1943-

Berlin New York Springer-Verlag c1991

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

7
Algebraic methods theory, tools and applications : proceedings
Algebraic methods theory, tools and applications : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methods theory, tools and applications : proceedings

Workshop on Algebraic Methods : Theory, Tools andApplications, 2., Mierlo, 1989 Jan A Bergstra

Berlin Springer 1991

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

8
Computer-aided verification proceedings
Computer-aided verification proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer-aided verification proceedings

International Conference on Computer-Aided Verification, 3., Aalborg, 1991 Kim G Larsen

Berlin Springer 1992

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

9
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings

CAV (Conference) (5th 1993 Eloúnda, Greece) Costas Courcoubetis

Berlin New York Springer-Verlag c1993

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

10
Computer aided verification proceedings
Computer aided verification proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification proceedings

International Conference on Computer-Aided Verification (4. 1992 Montreal) Gregor von Bochmann

Berlin Springer 1993

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

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de1988  (2)
  2. 1988Até1990  (3)
  3. 1991Até1992  (3)
  4. 1993Até1995  (11)
  5. Após 1995  (6)
  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.