skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar solo
Refinado por: materia: Engenharia De Software eliminar Computer Software eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Software Frameworks and Embedded Control Systems
Software Frameworks and Embedded Control Systems
Software Frameworks and Embedded Control Systems
Material Type:
Libro 		Añadir a Mi Portal

Software Frameworks and Embedded Control Systems

Alessandro Pasetti

Springer Berlin / Heidelberg 2002

Acceso en línea. La biblioteca tiene también copias físicas.

12
Software Process: Principles, Methodology, and Technology
Software Process: Principles, Methodology, and Technology
Software Process: Principles, Methodology, and Technology
Material Type:
Libro 		Añadir a Mi Portal

Software Process: Principles, Methodology, and Technology

Jean-Claude Derniame Jean Claude Derniame; Badara Ali Kaba; David Wastell; Juris Hartmanis; Badara A Kaba; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Acceso en línea. La biblioteca tiene también copias físicas.

13
The specification of computer programs
The specification of computer programs
Material Type:
Libro 		Añadir a Mi Portal

The specification of computer programs

Wladyslaw Turski Thomas S. E Maibaum 1947-

Wokingham, England Reading, Mass. Addison-Wesley c1987

Disponible en EPBC - Esc. Politécnica-Bib Central    (004.43 T869s ) y otras localizaciones(Obténgalo)

14
Software specification techniques
Software specification techniques
Material Type:
Libro 		Añadir a Mi Portal

Software specification techniques

Narain Gehani 1947-; Andrew D McGettrick 1944-

Wokingham Addison-Wesley c1986

Disponible en IME - Inst. Matemática e Estatística    (QA752.C3 G311s )(Obténgalo)

15
Software prototyping, formal methods, and VDM
Software prototyping, formal methods, and VDM
Material Type:
Libro 		Añadir a Mi Portal

Software prototyping, formal methods, and VDM

Sharam Hekmatpour 1961- D Ince (Darrel)

Wokingham, Eng. Reading, MA Addison-Wesley c1988

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68N30.01 H473s e.1 )(Obténgalo)

16
Software engineering & testing an introduction
Software engineering & testing an introduction
Material Type:
Libro 		Añadir a Mi Portal

Software engineering & testing an introduction

B. B. Agarwal S. P Tayal; M Gupta (Mahesh) 1975-

Sudbury, Mass. Jones and Bartlett c2010

Disponible en EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.413 Ag15s )(Obténgalo)

17
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:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.697 e.1 ) y otras localizaciones(Obténgalo)

18
Theoretical aspects of computer software Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings
Theoretical aspects of computer software Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings
Material Type:
Libro 		Añadir a Mi Portal

Theoretical aspects of computer software Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings

TACS '97 (1997 Sendai-han, Japan) Martín Abadi; T Ito (Takayasu) 1940-

Berlin New York Springer c1997

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1281 ) y otras localizaciones(Obténgalo)

19
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:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2404 ) y otras localizaciones(Obténgalo)

20
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:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1855 ) y otras localizaciones(Obténgalo)

previous page 1 Resultados 2 3 4 5 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Mostrar solo

  1. Recursos en línea (7)

Fecha de Publicación 

De Hasta
Refinar
  1. Antes de1986  (6)
  2. 1986Hasta1990  (11)
  3. 1991Hasta1995  (9)
  4. 1996Hasta2001  (32)
  5. Después de 2001  (25)
  6. Más opciones open sub menu

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere