Idris-Leitfaden für Fortgeschrittene: Wie man mit Idris typsichere und verifizierte Anwendungen erstellt Paperback
Compare prices and shops
No active listings at the moment, but we update prices daily — check back soon.
Insights
Product information
Basic information
Product name
Idris-Leitfaden für Fortgeschrittene: Wie man mit Idris typsichere und verifizierte Anwendungen erstellt Paperback
Price History
The graph shows the lowest price over time for the variant (such as color or size) that has been the cheapest at each point in time. Shipping and used products are not included. Read more about price history.