Wordt geladen...
Predicate Calculus And Program Semantics
| Hoofdauteur: | |
|---|---|
| Formaat: | Printed Book |
| Gepubliceerd in: |
Springer Verlag
1990
|
MG University
| Plaatsingsnummer: |
005.131 |
|---|---|
| Kopie | Status is onbeschikbaar |