Bookbot

Daniel P. Friedman

    Daniel P. Friedman est un professeur d'informatique dont le travail se concentre sur les langages de programmation et les méthodes formelles. Il est l'auteur de plusieurs livres influents qui initient systématiquement les lecteurs à des concepts informatiques complexes. Son approche utilise des dialogues didactiques et des exemples pour développer une compréhension approfondie des principes de programmation et du raisonnement logique.

    The Little Typer (Mit Press)
    The Little Schemer
    The Seasoned Schemer