skip to main content
Idioma:
Refinado por: assunto: Engenharia De Software remover Engenharia De Programas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings
Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings

Michael Johnson; International Conference on Algebraic Methodology and Software Technology (6th 1997 Sydney, Australia)

Berlin Springer-Verlag New York c1997

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

2
B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings

International B Conference (2nd 1998 Montpellier, France) Didier Bert

Berlin Springer New York c1998

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

3
Managing software engineering knowledge
Managing software engineering knowledge
Material Type:
Livro 		Adicionar ao Meu Espaço

Managing software engineering knowledge

Aybüke Aurum 1957-; Ross Jeffery; Claes Wohlin; Meliha Handzic

Berlin Springer New York 2003

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

4
Designing software product lines with UML from use cases to pattern-based software architectures
Designing software product lines with UML from use cases to pattern-based software architectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Designing software product lines with UML from use cases to pattern-based software architectures

Hassan Gomaa

Boston Addison-Wesley c2005

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

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

6
Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007
Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007

International Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany) Stefan Leue; Pedro Merino

Berlin Springer London 2008

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.