Treffer 1 – 3 von 3 für Suche 'Claessen, Koen', 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
    Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design

    Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design von Claessen, Koen

    Veröffentlicht 2014
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proceedings of the sixth workshop on Programming languages meets program verification

    Proceedings of the sixth workshop on Programming languages meets program verification von Claessen, Koen

    Veröffentlicht 2012
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proceedings of the 4th ACM symposium on Haskell

    Proceedings of the 4th ACM symposium on Haskell von Claessen, Koen

    Veröffentlicht 2011
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: