Hoppa till sidans huvudinnehåll

Fritz Henglein – författare

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

Polymorphic Type Inference and Semi-unification

AvFritz Henglein

Inbunden, Engelska, 2025

449 kr

Skickas inom 5-8 vardagar

Fritz Henglein - Polymorphic Type Inference and Semi-unification, Häftad

Polymorphic Type Inference and Semi-unification

AvFritz Henglein

Häftad, Engelska, 2025

249 kr

Skickas inom 5-8 vardagar

Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi - Automatic Program Development, Inbunden

Automatic Program Development

A Tribute to Robert Paige

AvOlivier Danvy,Fritz Hengleinm. fl.

Inbunden, Engelska, 2008

1 439 kr

Skickas inom 10-15 vardagar

Fritz Henglein, Sharon Shoham, Yakir Vizel - Verification, Model Checking, and Abstract Interpretation, Häftad
Del 12597 - Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings

AvFritz Henglein,Sharon Shohamm. fl.

Häftad, Engelska, 2021

1 299 kr

Skickas inom 10-15 vardagar

Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi - Automatic Program Development, Häftad

Automatic Program Development

A Tribute to Robert Paige

AvOlivier Danvy,Fritz Hengleinm. fl.

Häftad, Engelska, 2010

1 439 kr

Skickas inom 10-15 vardagar