1
|
Material Type: Livro
|
|
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)
|
2
|
Material Type: Livro
|
|
Turtles, termites, and traffic jams explorations in massively parallel microworlds
Mitchel Resnick
Cambridge, Mass. MIT Press 1997], c1994
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(005.13 R434t ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Parallelism in hardware and software; real and apparent concurrency
Harold Lorin
Englewood Cliffs, N.J. Prentice-Hall 1972
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.272 L891p ) e outros locais(Acessar)
|