Fritz Henglein - Böcker

Visar alla böcker från författaren Fritz Henglein.
7 produkter
Fritz Henglein - Polymorphic Type Inference and Semi-unification, Inbunden

Polymorphic Type Inference and Semi-unification

Av Fritz Henglein

Inbunden, Engelska, 2025

439 kr

Skickas inom 5-8 vardagar
Fritz Henglein - Polymorphic Type Inference and Semi-unification, Häftad

Polymorphic Type Inference and Semi-unification

Av Fritz Henglein

Häftad, Engelska, 2025

239 kr

Skickas inom 5-8 vardagar
Fritz Henglein - Polymorphic Type Inference and Semi-unification, Inbunden

Polymorphic Type Inference and Semi-unification

Av Fritz Henglein

Inbunden, Engelska, 2015

589 kr

Skickas inom 3-6 vardagar
Fritz Henglein - Polymorphic Type Inference and Semi-unification, Häftad

Polymorphic Type Inference and Semi-unification

Av Fritz Henglein

Häftad, Engelska, 2018

389 kr

Skickas inom 3-6 vardagar
Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi - Automatic Program Development, Inbunden

Automatic Program Development

Av Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

Inbunden, Engelska, 2008

1 449 kr

Skickas inom 10-15 vardagar
Fritz Henglein, Sharon Shoham, Yakir Vizel - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Fritz Henglein, Sharon Shoham, Yakir Vizel

Häftad, Engelska, 2021

1 319 kr

Skickas inom 10-15 vardagar
Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi - Automatic Program Development, Häftad

Automatic Program Development

Av Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

Häftad, Engelska, 2010

1 449 kr

Skickas inom 10-15 vardagar