skip to main content
Idioma:
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Técnicas De Programação remover Parallel Processing (Electronic Computers) remover Metodologia E Técnicas De Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Verifying concurrent processes using temporal logic
Verifying concurrent processes using temporal logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Verifying concurrent processes using temporal logic

Brent T. Hailpern 1955- (Brent Tzion)

Berlin New York Springer-Verlag 1982

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

2
CONPAR 86 Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17-19, 1986 : proceedings
CONPAR 86 Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17-19, 1986 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CONPAR 86 Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17-19, 1986 : proceedings

CONPAR 86 (1986 Aachen, Germany) Wolfgang Händler 1920-

Berlin New York Springer-Verlag c1986

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

3
Compositionality, concurrency, and partial correctness proof theories for networks of processes and their relationship
Compositionality, concurrency, and partial correctness proof theories for networks of processes and their relationship
Material Type:
Livro 		Adicionar ao Meu Espaço

Compositionality, concurrency, and partial correctness proof theories for networks of processes and their relationship

J. Zwiers 1956- (Job)

Berlin New York Springer-Verlag c1989

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária    (T301.35 M269f e.2 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Autor/Criador 

  1. Zwiers, J  (1)
  2. Hailpern, B  (1)
  3. Händler, W  (1)
  4. CONPAR 86  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.