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

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)

Identifique-se para postar sua resenha

Identifique-se para adicionar novas tags

Buscando em bases de dados remotas. Favor aguardar.