Treffer 1 – 2 von 2 für Suche 'Danielsson, Nils Anders', Suchdauer: 0,01s 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 ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification

    Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification von Danielsson, Nils Anders

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


    Gespeichert in:
  2. 2
    18th International Workshop on Types for Proofs and Programs (TYPES 2011) TYPES 2011, September 8–11, 2011, Bergen, Norway

    18th International Workshop on Types for Proofs and Programs (TYPES 2011) TYPES 2011, September 8–11, 2011, Bergen, Norway

    Veröffentlicht 2013
    Weitere Verfasser: “… Danielsson, Nils Anders …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: