• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Professionelle IdrisProgrammierung: Wie man zuverlässige Systeme mit abhängigen Typen in großem Umfang entwickelt

Professionelle IdrisProgrammierung: Wie man zuverlässige Systeme mit abhängigen Typen in großem Umfang entwickelt

Paperback

General ComputersProgramming

ISBN13: 9798241305589
Publisher: Independently Published
Published: Dec 26 2025
Pages: 260
Weight: 0.78
Height: 0.55 Width: 6.00 Depth: 9.00
Language: German

Also from

Farmer, Miguel

Also in

Programming