1
|
Material Type: Livro
|
|
Logic programming Prolog and stream parallel languages
Jan Newmarch
New York Prentice Hall 1990
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
(001.642 N556l )(Acessar)
|
2
|
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)
|
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)
|