Formal development of reactive systems case study production cell

Claus Lewerentz; Thomas Lindner

Goos, G., [ed], Hartmanis, J., Leeuwen, J. Van Lecture notes in computer science Berlin, Springer-Verlag, c1985-

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

Título:
Formal development of reactive systems case study production cell
Autor: Claus Lewerentz; Thomas Lindner
Assuntos: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS; ENGENHARIA DE SOFTWARE; COLETÂNEA
É parte de: Goos, G., [ed], Hartmanis, J., Leeuwen, J. Van Lecture notes in computer science Berlin, Springer-Verlag, c1985-
Títulos relacionados: Série:Lecture Notes in Computer Science 891
Editor: Berlin Springer
Data de criação/publicação: 1995
Formato: 394 p.
Idioma: Inglês

Links

Voltar para lista de resultados