Suchergebnisse - Wenzel, Markus Michael 1969-

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

    Isabelle, Isar - a versatile environment for human readable formal proof documents
    von Wenzel, Markus Michael 1969-

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Isabelle, Isar - a versatile environment for human readable formal proof documents
    von Wenzel, Markus Michael 1969-

    Veröffentlicht 2002
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: