Título: Z - an Introduction to Formal Methods
Autor: Antoni Diller
Sinopse: Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards. Acabamento: Paperback. Peso: 440g. Dimensões: 23 x 16 x 1.
Contexto da obra
Dentro do catálogo, este livro pode ser situado a partir do tema, da autoria e da proposta editorial. “Z – an Introduction to Formal Methods”, de Antoni Diller, publicado pela editora John Wiley, em 1994 e com 394 páginas, integra a categoria Inteligência Artificial. Esse enquadramento pode tornar mais clara a proposta do livro e o tipo de interesse que ele costuma despertar.
Editora: John Wiley
Páginas: 394
Ano: 1994
Edição: 2ª EDIÇÃO
ISBN:
ISBN13: 9780471939733
Sobre a editora
Os livros da editora JOHN WILEY costumam apresentar um perfil técnico e prático, com foco em guias detalhados, manuais e análises aplicadas a áreas como segurança de sistemas, engenharia de confiabilidade e metodologias de gestão. A experiência de leitura é marcada por textos que combinam explicações precisas com exemplos ilustrativos, favorecendo a compreensão clara de processos complexos. Há também uma presença significativa de obras que abordam temas de psicologia clínica e desenvolvimento humano, com linguagem acessível e orientações para aplicação prática em contextos terapêuticos. Além disso, o catálogo inclui guias de viagem atualizados anualmente, que destacam roteiros, dicas locais e avaliações detalhadas, com um tom opinativo e direto. Essa variedade indica um equilíbrio entre obras mais narrativas e outras mais informativas, sempre com atenção à clareza e utilidade para o leitor.
