Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Reconstruction a logic for ind...
  • Bestand

Treffer: Reconstruction a logic for inductive proofs of properties of functional programs

Titel:
Reconstruction a logic for inductive proofs of properties of functional programs / David Sabel and Manfred Schmidt-Schauß
Beteiligt:
Sabel, David (Verfasser); Schmidt-Schauß, Manfred (Verfasser)
Ausgabe:
June 22, 2010
Veröffent­licht:
Frankfurt [am Main] : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2010
Umfang:
1 Online-Ressource
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Technical report Frank ; 39
alle Bände anzeigen
Schlagworte:
Open Access Rechte:
Open Access

Zusatz-Informationen

Zusatz-Funktionen