Ihren Artikel jetzt
eintauschen und
EUR 0,75 Gutschein erhalten.
Möchten Sie verkaufen?
Zur Rückseite klappen Zur Vorderseite klappen
Anhören Wird wiedergegeben... Angehalten   Sie hören eine Probe der Audible-Audioausgabe.
Weitere Informationen

Type Theory and Functional Programming (International Computer Science Series) (Englisch) Gebundene Ausgabe – 1. August 1991


Amazon-Preis Neu ab Gebraucht ab
Gebundene Ausgabe
"Bitte wiederholen"
EUR 636,85 EUR 169,99

Hinweise und Aktionen

  • Amazon Trade-In: Tauschen Sie Ihre gebrauchten Bücher gegen einen Amazon.de Gutschein ein - wir übernehmen die Versandkosten. Mehr erfahren


Kunden, die diesen Artikel angesehen haben, haben auch angesehen

NO_CONTENT_IN_FEATURE

Produktinformation


Mehr über den Autor

Entdecken Sie Bücher, lesen Sie über Autoren und mehr

Kundenrezensionen

Es gibt noch keine Kundenrezensionen auf Amazon.de
5 Sterne
4 Sterne
3 Sterne
2 Sterne
1 Sterne

Die hilfreichsten Kundenrezensionen auf Amazon.com (beta)

Amazon.com: 1 Rezension
1 von 1 Kunden fanden die folgende Rezension hilfreich
The best available book on dependent types 8. März 2014
Von Konstantin Solomatov - Veröffentlicht auf Amazon.com
Format: Gebundene Ausgabe Verifizierter Kauf
Despite its old age, this is the best available book on dependent types. It has its drawbacks, there are a lot of areas which aren't covered well. However, it's way better than any tutorials on dependent types you can find on internet.

If you want to really understand how systems like Coq and Agda work, you have to read this book.
Ist diese Rezension hilfreich? Wir wollen von Ihnen hören.