Hoppa till sidans huvudinnehåll

Dexter Kozen – författare

Visar alla böcker från författaren Dexter Kozen.
3 produkter
David Harel, Dexter Kozen, Jerzy Tiuryn - Dynamic Logic, Häftad

Dynamic Logic

AvDavid Harel,Dexter Kozenm. fl.

Häftad, Engelska, 2000

1 309 kr

Skickas inom 3-6 vardagar

Dexter Kozen, Ruy de Queiroz - Logic, Language, Information, and Computation, Häftad
Del 15942 - Lecture Notes in Computer Science

Logic, Language, Information, and Computation

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

AvDexter Kozen,Ruy de Queiroz

Häftad, Engelska, 2025

959 kr

Skickas inom 10-15 vardagar

Dexter Kozen, Carron Shankland - Mathematics of Program Construction, Häftad

Mathematics of Program Construction

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

AvDexter Kozen,Carron Shankland

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar