Logics for concurrency structure versus automata : proceedings

Workshop on Logics for Concurrency Structure Versus Automata (1994 : Banff, Ca) Faron Moller; G M Birtwistle

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1043 ) e outros locais(Acessar)

Título:
Logics for concurrency structure versus automata : proceedings
Autor: Workshop on Logics for Concurrency Structure Versus Automata (1994 : Banff, Ca)
Faron Moller; G M Birtwistle
Assuntos: ENGENHARIA DE PROGRAMAS -- CONGRESSOS; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS (CONGRESSOS); ENGENHARIA DE SOFTWARE
Títulos relacionados: Série:Lecture Notes in Computer Science 1043
Editor: Berlin Springer
Data de criação/publicação: 1996
Formato: 266 p.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 7 Avançar Ir para próxima página