7 treff
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Nachum Dershowitz (ed.)
Bok Engelsk 2003
The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming"
Zohar Manna, Richard Waldinger
Bok Engelsk 1993
Deductive systems
Manna, Zohar
Bok Språk ikke angitt 1990
Lectures on the logic of computer programming
Zohar Manna
Bok Engelsk 1980
Recent research in artificial intelligence and foundations of programming
by John McCarthy, Tom Binford, Cordell Gr...
Bok Språk ikke angitt 1978
Studies in automatic programming logic
Zohar Manna, Richard Waldinger ; with con...
Bok Engelsk 1977
Mathematical theory of computation
Zohar Manna
Bok Engelsk 1974