Formal Development Of Programs And Proofs

Bibliografische gegevens
Hoofdauteur: Dijkstra, Edsger W
Formaat: Printed Book
Gepubliceerd in: Addison-wesley Publishing Company 1990

MG University

Exemplaargegevens van MG University
Plaatsingsnummer: 005.1
Kopie Status is onbeschikbaar

Gelijkaardige items