Autor: Dexter Kozen

Ajutor

2 Ebooks de Dexter Kozen

Copertina de David (William Sussman Professorial Chair, The Weizmann Institute of Science) Harel & Dexter Kozen: Dynamic Logic

David (William Sussman Professorial Chair, The Weizmann Institute of Science) Harel & Dexter Kozen: Dynamic Logic

…

PDF

DRM

€95.73

Copertina de Dexter Kozen & Carron Shankland: Mathematics of Program Construction

Dexter Kozen & Carron Shankland: Mathematics of Program Construction

…

PDF

Engleză

DRM

€58.19