skip to main content
Idioma:
Refinado por: assunto: Computer Software–Verification remover Computer Software remover assunto: Engenharia De Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday

Ugo Montanari; Pierpaolo Degano 1950-; Rocco De Nicola; José Meseguer

Berlin Springer New York c2008

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

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

3
Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings
Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings

CAV (Conference) (2000 Chicago, Ill) E. Allen Emerson; Aravinda Prasad Sistla

Berlin London Springer c2000

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

4
Computer aided verification 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Computer aided verification 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

CAV (Conference) (14th 2002 Copenhagen, Denmark) Ed Brinksma; K. G Larsen 1957- (Kim G.)

Berlin Springer New York 2002

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

5
Computer aided verification 9th international conference, CAV'97, Haifa, Israel, june 22-25, 1997 : proceedings
Computer aided verification 9th international conference, CAV'97, Haifa, Israel, june 22-25, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 9th international conference, CAV'97, Haifa, Israel, june 22-25, 1997 : proceedings

International Conference on Computer-Aided Verification, CAV'97 (9th 1997 Haifa, Israel) Orna Grumberg

Berlin New York Heidelberg Springer c1997

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

6
SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings

International SPIN Workshop (7th 2000 Stanford, Calif.) Klaus Havelund 1955-; John Penix 1970-; Willem Visser 1968-

Berlin New York Springer 2000

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

7
Modular compiler verification a refinement-algebraic approach advocating stepwise abstraction
Modular compiler verification a refinement-algebraic approach advocating stepwise abstraction
Material Type:
Livro 		Adicionar ao Meu Espaço

Modular compiler verification a refinement-algebraic approach advocating stepwise abstraction

Markus Müller-Olm

Berlin Springer New York c1997

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

8
Model checking software 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Model checking software 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Model checking software 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings

International SPIN Workshop (9th 2002 Grenoble, France) Dragan Boésnaécki 1963-; Stefan Leue

Berlin Springer New York c2002

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

9
Verification and validation of rule-based expert systems
Verification and validation of rule-based expert systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification and validation of rule-based expert systems

Suzanne Smith 1953- Abraham Kandel

Boca Raton, Fla. CRC Press c1993

Localização: EPBC - Esc. Politécnica-Bib Central    (004.891 Sm65v )(Acessar)

10
Software validation inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983
Software validation inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983
Material Type:
Livro 		Adicionar ao Meu Espaço

Software validation inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983

Symposium on Software Validation (1983 Darmstadt, Germany) Hans-Ludwig Hausen 1945-; Gesellschaft für Mathematik und Datenverarbeitung; SRI International

Amsterdam New York New York, N.Y., U.S.A. Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemverarbeitung, Bonn Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1984

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.20 H376s e.1 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até
Refinar
  1. Antes de1993  (1)
  2. 1993Até1996  (2)
  3. 1997Até1999  (2)
  4. 2000Até2002  (4)
  5. Após 2002  (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.