Dexter Kozen – författare

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

3 produkter

1. 

   Dynamic Logic

   Av David Harel, Dexter Kozen m. fl.

   Häftad, 2000

   1339 kr

   Lägg i varukorg

2. 

   Logic, Language, Information, and Computation

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

   Av Dexter Kozen, Ruy de Queiroz

   Häftad, 2025

   969 kr

   Lägg i varukorg

3. 

   Mathematics of Program Construction

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

   Av Dexter Kozen, Carron Shankland

   Häftad, 2004

   739 kr

   Lägg i varukorg