Treffer 1 – 3 von 3 für Suche 'Krafft, Dean B.', 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
    AVID, a system for the interactive development of verifiably correct programs

    AVID, a system for the interactive development of verifiably correct programs von Krafft, Dean B.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The assertion table system for the PL CV2 program verifier

    The assertion table system for the PL CV2 program verifier von Krafft, Dean B.

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Determining logical dependency in a decision procedure for equality

    Determining logical dependency in a decision procedure for equality von Krafft, Dean B., Demers, Alan J.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: