Predicate calculus and program semantics /

Na minha lista:
Detalhes bibliográficos
Principais autores: Dijkstra, Edsger Wybe., Scholten, Carel S.
Formato: Livro
Publicado em:
Assuntos:
Endereço do item:https://app.bczm.ufrn.br/home/#/item/199075
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!