skip to main content
Idioma:
Resultados 1 2 next page
Refinado por: assunto: Metodologia E Técnicas De Computação remover Engenharia De Software remover Computer Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers

WADT '98 (1998 Lisbon, Portugal) José Luiz Fiadeiro 1961-

Berlin Springer New York c1999

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

2
Object-oriented software construction
Object-oriented software construction
Material Type:
Livro 		Adicionar ao Meu Espaço

Object-oriented software construction

Bertrand Meyer 1950-

New York Prentice-Hall c1988

Localização: EPBC - Esc. Politécnica-Bib Central    (004.045 M575o ) e outros locais(Acessar)

3
Foundations of software science and computation structures Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Foundations of software science and computation structures Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software science and computation structures Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

FOSSACS 2000 (2000 Berlin, Germany) Jerzy Tiuryn; ETAPS 2000 (2000 Berlin, Germany)

Berlin Springer New York c2000

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

4
Formal program development IFIP TC2/WG 2.1 state-of-the-art report
Formal program development IFIP TC2/WG 2.1 state-of-the-art report
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal program development IFIP TC2/WG 2.1 state-of-the-art report

Bernhard Möller 1953-; Helmut A Partsch 1950-; Steve Schuman 1950-; IFIP TC 2/WG 2.1

Berlin New York Springer-Verlag c1993

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

5
Reliable software technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings
Reliable software technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Reliable software technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings

Ada-Europe International Conference on Reliable Software Technologies (4. 1999 Santander, Spain) Juan A De la Puente 1949-; Michael González-Harbour 960-

Berlin Springer New York c1999

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

6
Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

TACAS '99 (1999 Amsterdam, Netherlands) W. R Cleaveland 1961- (Walter Rance); European Conferences on Theory and Practice of Software (1999 Amsterdam, Netherlands)

Berlin Springer New York c1999

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

7
Software development a rigorous approach
Software development a rigorous approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Software development a rigorous approach

C. B. Jones (Cliff B.), 1944-

Englewood Cliffs, N.J. Prentice/Hall International 1980

Localização: IME - Inst. Matemática e Estatística    (QA754 J76s )(Acessar)

8
FME 2001 formal methods for increasing software productivity ; International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 ; proceedings
FME 2001 formal methods for increasing software productivity ; International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME 2001 formal methods for increasing software productivity ; International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 ; proceedings

Formal Methods Europe (Organisation) International Symposium 2001.) José N Oliveira; Pamela Zave 1948-

Berlin Springer London c2001

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

9
Software reuse advances in software reusability : 6th international conference, ICSR-6, Vienna, Austria, June 27-29, 2000 : proceedings
Software reuse advances in software reusability : 6th international conference, ICSR-6, Vienna, Austria, June 27-29, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Software reuse advances in software reusability : 6th international conference, ICSR-6, Vienna, Austria, June 27-29, 2000 : proceedings

International Conference on Software Reuse (6th 2000 Vienna, Austria) William B Frakes 1952- (William Bruce)

Berlin Springer New York c2000

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

10
Building application frameworks object-oriented foundations of framework design
Building application frameworks object-oriented foundations of framework design
Material Type:
Livro 		Adicionar ao Meu Espaço

Building application frameworks object-oriented foundations of framework design

Mohamed Fayad 1950-; Douglas C Schmidt; Ralph E Johnson Ph. D.

New York Wiley c1999

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

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