Wird geladen...

Predicate Calculus And Program Semantics

Bibliographische Detailangaben
1. Verfasser: Dijkstra, Edsger W
Format: Printed Book
Veröffentlicht: Springer Verlag 1990

MG University

Bestandesangaben von MG University
Signatur: 005.131
Exemplar Live-Status nicht verfügbar