skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Current trends in concurrency
Current trends in concurrency
Material Type:
Livro 		Adicionar ao Meu Espaço

Current trends in concurrency

J W Bakker W P Roever; G Rozenberg

Goos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture Notes In Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1986

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.224 )(Acessar)

2
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness
Material Type:
Livro 		Adicionar ao Meu Espaço

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness

Bakker Jacobus Willem Bakker; W.-P de Roever; Grzegorz Rozenberg

Springer Berlin Heidelberg 1990

Acesso online

3
A Decade of Concurrency Reflections and Perspectives
A Decade of Concurrency Reflections and Perspectives
Material Type:
Livro 		Adicionar ao Meu Espaço

A Decade of Concurrency Reflections and Perspectives

Bakker Jacobus Willem Bakker; W.-P de Roever; Grzegorz Rozenberg

Springer Berlin Heidelberg 1994

Acesso online

4
Programming Concepts and Methods PROCOMET ’98
Programming Concepts and Methods PROCOMET ’98
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Concepts and Methods PROCOMET ’98

David de Roever, Willem-Paul Gries Willem-Paul de Roever

Springer US 1998

Acesso online

5
Data Refinement: Model-Oriented Proof Methods and their Comparison
Data Refinement: Model-Oriented Proof Methods and their Comparison
Material Type:
Livro 		Adicionar ao Meu Espaço

Data Refinement: Model-Oriented Proof Methods and their Comparison

Willem-Paul Engelhardt, Kai de Roever Willem-Paul de Roever; Kai Engelhardt

Cambridge Cambridge University Press 1998

Acesso online

6
Semantics: Foundations and Applications
Semantics: Foundations and Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Semantics: Foundations and Applications

REX Workshop Jacobus Willem Bakker; W.-P de Roever; Grzegorz Rozenberg

Springer Berlin Heidelberg 1993

Acesso online

7
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods for Components and Objects

FMCO 2003 Marcello M Bonsangue; Willem-Paul de Roever; Susanne Graf

Springer Berlin / Heidelberg 2004

Acesso online

8
Formal techniques in real-time and fault-tolerant systems proceedings
Formal techniques in real-time and fault-tolerant systems proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques in real-time and fault-tolerant systems proceedings

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (3. : 1994 : Lubeck) Hans Langmaack; W P Roever

Berlin Springer 1994

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

9
Compositionality the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
Compositionality the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Compositionality the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures

COMPOS '97 (1997 Malente, Germany) W.-P. de Roever; Hans Langmaack; A Pnueli

Berlin Springer New York c1998

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

10
Formal techniques in real-time and fault-tolerant systems
Formal techniques in real-time and fault-tolerant systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques in real-time and fault-tolerant systems

International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS,3 1994 Lubeck H Langmaack; W P de Roever; J Vytopil

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

Berlin Springer-Verlag c1994

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.863 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (149)
  2. Artigos  (104)
  3. Livros  (34)
  4. Anais de Congresso  (33)
  5. Reports  (16)
  6. Resenhas  (4)
  7. Verbetes  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1961  (50)
  2. 1961Até1981  (21)
  3. 1982Até1993  (118)
  4. 1994Até2008  (128)
  5. Após 2008  (26)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (336)
  2. Japonês  (11)
  3. Francês  (3)
  4. Português  (2)
  5. Holandês  (2)
  6. Alemão  (2)
  7. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.