Pular para o conteúdo
Informática

Z - An Introduction To Formal Methods

2ª Edição - 1994394 páginasJohn Wileypt
Seja o primeiro a avaliar
Sua leitura no Lireo

Guarde este livro na sua estante

Crie uma conta gratuita e continue exatamente desta página.

Registre seu progresso de leitura
Descubra outros leitores do mesmo livro
Participe de clubes de leitura
Organize toda sua biblioteca

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.

Detalhes do livro

Título
Z - An Introduction To Formal Methods
Autor
Antoni Diller
Editora
John Wiley
Ano
2026
Páginas
394 páginas
Idioma
PT
ISBN-13
9780471939733
Edição
2ª Edição - 1994
Formato
Paperback

Informática

Livros na mesma categoria

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras