Título: Applications Of Formal Methods
Autor: Hinchey, Bowen
Sinopse: This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.
Contexto da obra
Quando a classificação é mais ampla, o contexto do livro costuma depender ainda mais de autoria, tema e edição. “Applications Of Formal Methods”, de Hinchey, Bowen, publicado pela editora Prentice Hall, em 1995 e com 447 páginas, integra a categoria Livros Variados. Por isso, autoria, edição e tema acabam tendo ainda mais peso na forma de apresentar o livro.
Editora: Prentice Hall
Páginas: 447
Ano: 1995
Edição: First Edition
Linguagem: pt_BR
ISBN: 9780133669497
ISBN13: 9780133669497
