Treffer 1 – 3 von 3 für Suche 'Chlipala, Adam', 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.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice von Chlipala, Adam
Veröffentlicht 2012Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
2
Certified programming with dependent types a pragmatic introduction to the Coq proof assistant von Chlipala, Adam
Veröffentlicht 2013Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
3
Certified programming with dependent types a pragmatic introduction to the Coq proof assistant von Chlipala, Adam 1981-
Veröffentlicht 2013Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Beschreibung
Buch Fernleihe Bestellen