Dexter Kozen – författare

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

3 produkter

Kategorier

3 produkter

Dynamic Logic
AvDavid Harel,Dexter Kozenm. fl.
Häftad, Engelska, 2000
1 289 kr
Skickas inom 3-6 vardagar
Del 15942
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
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