skip to main content
Idioma:
Refinado por: assunto: Engenharia De Software remover Computer Software remover assunto: System Design remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Modeling reactive systems with statecharts the statemate approach
Modeling reactive systems with statecharts the statemate approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Modeling reactive systems with statecharts the statemate approach

David Harel 1950- Michal Politi

New York McGraw-Hill c1998

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

2
Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

TACAS 2001 (2001 Genoa, Italy) Tiziana Margaria; Wang Yi; ETAPS 2001 (2001 Genoa, Italy)

Berlin New York Springer c2001

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

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

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. TACAS 2003
  2. TACAS '99
  3. Yi, W
  4. Hatcliff, J
  5. Margaria, T

Neste Assunto:

  1. System Design
  2. Computer Software
  3. Computer Software–Development
  4. Engenharia De Software
  5. System Design–Congresses

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

Buscando em bases de dados remotas. Favor aguardar.