skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: assunto: Especificação De Sistemas E Programas remover Engenharia De Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Baltic computer science selected papers
Baltic computer science selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Baltic computer science selected papers

Barzdin§, ëIìA. M. (ëIìAn Martynovich); D Bjørner 1937- (Dines)

Berlin New York Springer-Verlag c1991

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

2
Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

EEF/Euro Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands) Ed Brinksma; Holger Hermanns 1967-; Joost-Pieter Katoen

Berlin Springer New York c2001

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

3
Systems design and documentation an introduction to the HIPO method
Systems design and documentation an introduction to the HIPO method
Material Type:
Livro 		Adicionar ao Meu Espaço

Systems design and documentation an introduction to the HIPO method

Harry Katzan

New York Van Nostrand Reinhold c1976

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

4
Software engineering a practitioner's approach
Software engineering a practitioner's approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Software engineering a practitioner's approach

Roger S. Pressman

Boston, Mass McGraw Hill c2001

Localização: IME - Inst. Matemática e Estatística    (QA752 P935s 5.ed. )(Acessar)

5
Program development by specification and transformation the PROSPECTRA methodology, language family, and system
Program development by specification and transformation the PROSPECTRA methodology, language family, and system
Material Type:
Livro 		Adicionar ao Meu Espaço

Program development by specification and transformation the PROSPECTRA methodology, language family, and system

Berthold Hoffmann 1953-; B Krieg-Brückner (Bernd)

Berlin New York Springer-Verlag c1993

Localização: IME - Inst. Matemática e Estatística    (S L471c v.680 )(Acessar)

6
ZB 2002 formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
ZB 2002 formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ZB 2002 formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

International Conference of B and Z Users (2nd 2002 Grenoble, France) Didier Bert

Berlin Springer London c2002

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

7
Tools and algorithms for the construction and analysis of systems 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Tools and algorithms for the construction and analysis of systems 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

TACAS 2003 (2003 Warsaw, Poland) Hubert Garavel 1963-; John Hatcliff 1966-; ETAPS 2003 (2003 Warsaw, Poland)

Berlin Springer New York c2003

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

8
Agent-oriented software engineering III third international workshop AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions
Agent-oriented software engineering III third international workshop AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions
Material Type:
Livro 		Adicionar ao Meu Espaço

Agent-oriented software engineering III third international workshop AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions

AOSE 2002 (2002 Bologna, Italy) Fausto Giunchiglia; James J Odell; Gerhard Weiss 1962-

Berlin Springer London c2003

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

9
Telecommunications and beyond the broader applicability of SDL and MSC : third international workshop, SAM 2002, Aberystwyth , UK, June 24-26, 2002 : revised papers
Telecommunications and beyond the broader applicability of SDL and MSC : third international workshop, SAM 2002, Aberystwyth , UK, June 24-26, 2002 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Telecommunications and beyond the broader applicability of SDL and MSC : third international workshop, SAM 2002, Aberystwyth , UK, June 24-26, 2002 : revised papers

SAM 2002 (2002 Aberystwyth, Wales) Edel Sherratt 1958-

Berlin Springer London c2003

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

10
Innovative internet computing systems second international workshop, IICS 2002, Kühlungsborn, Germany, June 2002 : proceedings
Innovative internet computing systems second international workshop, IICS 2002, Kühlungsborn, Germany, June 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Innovative internet computing systems second international workshop, IICS 2002, Kühlungsborn, Germany, June 2002 : proceedings

IICS 2002 (2002 Kühlungsborn, germany) Herwig Unger 1966-; Thomas Böhme 1957-; Armin Mikler

Berlin Springer New York 2002

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

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

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