كتب بواسطة Dexter Kozen - BookPine

OCaml Programming: Correct + Efficient + Beautiful

OCaml Programming: Correct + Efficient + Beautiful

Michael R. Clarkson

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

Dexter Kozen

Dynamic Logic

Dynamic Logic

David Harel

Logics of Programs: Workshop, Yorktown Heights, NY, USA

Logics of Programs: Workshop, Yorktown Heights, NY, USA

Dexter Kozen

Design and Analysis of Algorithms

Design and Analysis of Algorithms

Dexter Kozen

Tenth Annual IEEE Symposium on Logic in Computer Science: Proceedings, June 26-29, 1995, San Diego, California

Tenth Annual IEEE Symposium on Logic in Computer Science: Proceedings, June 26-29, 1995, San Diego, California

Dexter Kozen