Jan L. A. van de Snepscheut

Johannes Lambertus Adriana van de Snepscheut (; 12 September 195323 February 1994) was a Dutch computer scientist and educator. He was a student of Martin Rem and Edsger Dijkstra. At the time of his death, he was a professor of Computing Science at the California Institute of Technology. He was also developing an editor for proving theorems called "Proxac". Provided by Wikipedia
Cover Image
Read Now

1
by Snepscheut, Jan L.A. van de
Published 1985
Springer Berlin Heidelberg
Cover Image
Read Now

2
by Snepscheut, Jan L.A.van de
Published 1993
Springer New York
Cover Image
Read Now

3
Published 1989
Springer Berlin Heidelberg
Other Authors: “...Snepscheut, Jan L.A. van de...”