Suchergebnisse

Ähnliche Schlagwörter innerhalb Ihrer Suche.
  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Certified programming with dependent types. A pragmatic introduction to the coq proof assistant. von Chlipala, Adam

    Veröffentlicht 2013
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: