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

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

3
Algebraic system specification and development a survey and annotated bibliography
Algebraic system specification and development a survey and annotated bibliography
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic system specification and development a survey and annotated bibliography

M Bidoit 1957- (Michel)

Berlin New York Springer-Verlag c1991

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

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

5
Extensions of the unity methodology compositionality, fairness and probability in parallelism
Extensions of the unity methodology compositionality, fairness and probability in parallelism
Material Type:
Livro 		Adicionar ao Meu Espaço

Extensions of the unity methodology compositionality, fairness and probability in parallelism

Josyula Ramachandra Rao

Berlin Springer 1995

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

6
Korso methods, languages, and tools for the construction of correct software : final report
Korso methods, languages, and tools for the construction of correct software : final report
Material Type:
Livro 		Adicionar ao Meu Espaço

Korso methods, languages, and tools for the construction of correct software : final report

M Broy; Stefan Jahnichen

Berlin Springer 1995

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

7
Formal development of reactive systems case study production cell
Formal development of reactive systems case study production cell
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal development of reactive systems case study production cell

Claus Lewerentz; Thomas Lindner

Goos, G., [ed], Hartmanis, J., Leeuwen, J. Van Lecture notes in computer science Berlin, Springer-Verlag, c1985-

Berlin Springer 1995

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

8
Formal methods for industrial applications specifying and programming the steam boiler control
Formal methods for industrial applications specifying and programming the steam boiler control
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for industrial applications specifying and programming the steam boiler control

Jean-Raymond Abrial; E Borger; Langmaack, H

Berlin Springer 1996

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

9
Formal systems specification the rpc-memory specification case study
Formal systems specification the rpc-memory specification case study
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal systems specification the rpc-memory specification case study

M Broy; Stephan Merz

Berlin Springer 1996

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

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

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.