Treffer 1 – 2 von 2 für Suche 'Oheimb, David von 1970-', 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
    Analyzing Java in Isabelle-HOL formalization, type safety and hoare logic

    Analyzing Java in Isabelle-HOL formalization, type safety and hoare logic von Oheimb, David von 1970-

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Analyzing Java in Isabelle-HOL formalization, type safety and Hoare logic

    Analyzing Java in Isabelle-HOL formalization, type safety and Hoare logic von Oheimb, David von 1970-

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


    Gespeichert in:

Suchwerkzeuge: