Idioma:

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

J. Zwiers 1956- (Job)

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

Título:
Compositionality, concurrency, and partial correctness proof theories for networks of processes and their relationship
Autor: J. Zwiers 1956- (Job)
Assuntos: Parallel processing (Electronic computers); Automatic theorem proving; TÉCNICAS DE PROGRAMAÇÃO; CORREÇÃO DE PROGRAMAS; SOCIOLOGIA RURAL; METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
Notas: Bibliography: p. 266-272
Títulos relacionados: Série:Lecture notes in computer science 321
Editor: Berlin New York Springer-Verlag
Data de criação/publicação: c1989
Formato: vi, 272 p. ill. 25 cm.
Idioma: Inglês

Links

Voltar para lista de resultados