Aborda fundamentos da semântica formal e das lógicas aplicadas à computação, com foco em modelos matemáticos e técnicas formais.

Destinado a leitores com interesse em teoria da computação, linguagens formais e verificação, inclui discussões sobre semânticas operacional e denotacional.

Útil para cursos de pós-graduação e pesquisa em ciência da computação, oferece referências conceituais e abordagens formais para sistemas computacionais.