A carregar...

Predicate Calculus And Program Semantics

Detalhes bibliográficos
Autor principal: Dijkstra, Edsger W
Formato: Printed Book
Publicado em: Springer Verlag 1990

MG University

Detalhes do Exemplar MG University
Área/Cota: 005.131
Cód. Barras: Informação em tempo real indisponível