VLB Suche
Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)
Drucken
Suchergebnisse
Produktdetails
- Autor
- Boro Sitnikovski
Introduction to Dependent Types with Idris
- Untertitel
- Encoding Program Proofs in Types
- Verlag
- APRESS
- ISBN/EAN
- 978-1-4842-9258-7
- Preis
- 37,44 EUR
- Status
- lieferbar
