Suchergebnisse - Krafft, Dean B.

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1978
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1981
    Buch


    Gespeichert in:

Suchwerkzeuge: