Automatic Program Development
Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi
Inbunden, 2008
1 479 kr
Polymorphic Type Inference and Semi-unification
Häftad, Engelska, 2025
249 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
Produktinformation
- Utgivningsdatum2025-05-22
- Mått156 x 234 x 6 mm
- Vikt172 g
- FormatHäftad
- SpråkEngelska
- Antal sidor116
- FörlagHutson Street Press
- ISBN9781024194951
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Del 12597
Verification, Model Checking, and Abstract Interpretation
Fritz Henglein, Sharon Shoham, Yakir Vizel
Häftad, 2021
1 329 kr
Automatic Program Development
Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi
Häftad, 2010
1 479 kr
Hoppa över listan
Du kanske också är intresserad av
Del 12597
Verification, Model Checking, and Abstract Interpretation
Fritz Henglein, Sharon Shoham, Yakir Vizel
Häftad, 2021
1 329 kr
Automatic Program Development
Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi
Häftad, 2010
1 479 kr
Automatic Program Development
Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi
Inbunden, 2008
1 479 kr
- Nyhet
Del 3
- Nyhet
Del 11
- Nyhet
Del 4
Del 1
Del 3
- Nyhet
Del 6