Dexter Kozen

Dexter Campbell Kozen (born December 20, 1951) is an American theoretical computer scientist. He is Professor Emeritus and Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. Provided by Wikipedia
Showing 1 - 1 results of 1 Refine Results  
Cover Image

Dynamic logic

by Harel, David, 1950-
Year of Publication 2000
Full text
eBook
Save to List
Saved in:
RSS Feed Email Search Search History