Author Results for Manna Zohar.

Manna,Zohar
Bradley,Aaron R.
NetLibrary, Inc
Peled,Doron,
SpringerLink (Online serveice)
see all »
Zohar Manna, Richard Waldinger, with contributions by Shmuel Katz and Karl Levitt

1
Studies in automatic programming logic

Cover is for reference only
Main Authors: Manna Zohar. (Zohar Manna, Richard Waldinger, with contributions by Shmuel Katz and Karl Levitt.)
Group Author: Waldinger Richard. (joint author.)
Published: North-Holland,
Publication Dates: c1977.
Call Number: TP31/M281/
Book
Save to List
Saved in:
2
Time for verification essays in memory of Amir Pnueli

Cover is for reference only
Corporate Authors: SpringerLink (Online serveice)
Group Author: Peled Doron, 1962-; Manna Zohar.
Published: Springer,
Publication Dates: 2010.
Book
Save to List
Saved in:
3
The calculus of computation decision procedures with applications to verification

Cover is for reference only
Main Authors: Bradley Aaron R.
Corporate Authors: NetLibrary, Inc.
Group Author: Manna Zohar.
Published: Springer,
Publication Dates: c2007
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —