Applications of formal methods

Michael G Hinchey 1969- (Michael Gerard); J. P Bowen 1956- (Jonathan Peter)

Localização: IME - Inst. Matemática e Estatística (QA754.C3 H659a )(Acessar)

Título:
Applications of formal methods
Autor: Michael G Hinchey 1969- (Michael Gerard); J. P Bowen 1956- (Jonathan Peter)
Assuntos: System design; Computer software -- Development; METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
Notas: Includes bibliographical references (p. 421-437) and index
Títulos relacionados: Série:Prentice-Hall international series in computer science
Editor: London Prentice Hall New York
Data de criação/publicação: 1995
Formato: xvii, 447 p. ill. 25 cm.
Idioma: Inglês

Links

Voltar para lista de resultados