Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computa
115,13 €
Part I The Foundations. - The Language of Logic. - The Art of Reasoning. - Building Models. - Part II The Higher Planes. - Abstract Data Types. - Programming Languages. - Computer Programs.
Jetzt bei Ebay:
