Beeld op de omslag

Mathematical theory of program correctness.

Bibliografische gegevens
Hoofdauteur: de Bakker, Jaco
Formaat: Boek
Taal:Engels
Gepubliceerd in: Englewood Cliff, New Jersey Prentice Hall International