کتاب های Nissim Francez
![Unification Grammars](http://cdn.ketabkoo.com/covers/2/229244-n.jpg)
Unification Grammars
Nissim Francez, 2011![Fairness](http://cdn.ketabkoo.com/covers/6/667596-n.jpg)
Fairness
Nissim Francez (auth.), 1986![Program Verification](http://cdn.ketabkoo.com/covers/6/667597-n.jpg)
Program Verification
Nissim Francez, 1992![Proof-theoretic Semantics](http://cdn.ketabkoo.com/covers/10/1075640-n.jpg)
Proof-theoretic Semantics
Nissim Francez, 2015![Unification Grammars](http://cdn.ketabkoo.com/covers/12/1218334-n.jpg)
Unification Grammars
Nissim Francez, Shuly Wintner, 2012![Proof-theoretic Semantics](http://cdn.ketabkoo.com/covers/12/1237748-n.jpg)