skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Mostrar Somente
Refinado por: autor: Roever, W remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
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
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
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

5
Current trends in concurrency overviews and tutorials
Material Type:
Livro
Adicionar ao Meu Espaço

Current trends in concurrency overviews and tutorials

J. W. de Bakker 1939- (Jacobus Willem); W.-P. de Roever; Grzegorz Rozenberg; Dutch Concurrency Project; European Strategic Programme of Research and Development in Information Technology Project 415; ESPRIT/LPC Advanced School on Current Trends in Concurrency (1985 Noordwijkerhout, Netherlands)

Berlin New York Springer-Verlag c1986

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

Buscando em bases de dados remotas. Favor aguardar.