8 treff

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