Caricamento...

Predicate Calculus And Program Semantics

Dettagli Bibliografici
Autore principale: Dijkstra, Edsger W
Natura: Printed Book
Pubblicazione: Springer Verlag 1990

MG University

Dettagli sul posseduto da MG University
Collocazione: 005.131
Copia Status in tempo reale non disponibile