Treffer 1 – 4 von 4 für Suche 'Sannella, Donald 1956-', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Introduction to Computation Haskell, Logic and Automata

    Introduction to Computation Haskell, Logic and Automata von Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-

    Veröffentlicht 2021
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Introduction to computation Haskell, logic and automata

    Introduction to computation Haskell, logic and automata von Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-

    Veröffentlicht 2021
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Foundations of algebraic specification and formal software development

    Foundations of algebraic specification and formal software development von Sannella, Donald 1956-, Tarlecki, Andrzej 1956-

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    45th International Colloquium on Automata, Languages, and Programming ICALP 2018, Prague, Czech Republic, July 9–13, 2018

    45th International Colloquium on Automata, Languages, and Programming ICALP 2018, Prague, Czech Republic, July 9–13, 2018

    Veröffentlicht 2018
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: