Dexter Kozen - Böcker

Visar alla böcker från författaren Dexter Kozen.

3 produkter

Kategorier

3 produkter

Dynamic Logic

Av David Harel, Dexter Kozen m. fl

Häftad, Engelska, 2000

1 279 kr

Skickas inom 5-8 vardagar

Logic, Language, Information, and Computation

31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings

Av Dexter Kozen, Ruy de Queiroz m. fl

Häftad, Engelska, 2025

1 129 kr

Skickas inom 10-15 vardagar

Mathematics of Program Construction

7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

Av Dexter Kozen, Carron Shankland

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar