O livro atende às necessidades mais atuais no estudo e na prática da verificação de hardwares e softwares, continuando a fornecer uma introdução a arg

Este livro é indicado para pessoas que desejam começar a programar e que não têm conhecimento nessa área e também para quem já possui conhecimentos bá

O livro aborda técnicas de manipulação de arquivos em disco e criação de relatórios. Um capítulo é dedicado à conversão de algoritmos em linguagens de

Este livro apresenta, de forma concisa, os primeiros e principais fundamentos da Lógica Clássica necessários aos estudantes de Ciência da Computação e