Die Wissenschaft der Programmierung (Monographien in der Informatik) von Gries, David
100,66 €
Why Use Logic?. Why Prove Programs Correct?. Propositions; 2. Reasoning Using Equivalence Transformations; 3. A Natural Deduction System; 4. Predicates; 5. Notations and Conventions for Arrays; 6.
Jetzt bei Ebay:
