Der Perlentaucher unter den Buchläden

Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren
Genauer suchen ( Treffer)
Filter schließen ( Treffer)

Sie haben nach sannella, donald gesucht

Gefundene Autoren: Donald Sannella

Prof. Donald Sannella, Prof. Michael Fourman, and Prof. Philip Wadler are each at the University of Edinburgh's School of Informatics, Edinburgh, UK. Mr. Haoran Peng is also at the same university department.

  1. Introduction to Computation
    eng
    Donald Sannella / Philip Wadler …
    Introduction to Computation
    Haskell, Logic and Automata
    • Springer International Publishing
    • 2022
    • Taschenbuch
    • 384 Seiten
    37,44€

    in Kürze

  2. Foundations of Algebraic Specification and Formal Software Development
    eng
    Andrzej Tarlecki / Donald Sannella
    Foundations of Algebraic Specification and Formal Software Development
    • Springer Berlin Heidelberg
    • 2014
    • Taschenbuch
    • 600 Seiten
    85,59€

    in Kürze

  3. Foundations of Algebraic Specification and Formal Software Development
    eng
    Andrzej Tarlecki / Donald Sannella
    Foundations of Algebraic Specification and Formal Software Development
    • Springer Berlin Heidelberg
    • 2011
    • Gebunden
    • 600 Seiten
    117,69€

    in Kürze

    This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, co…