Nissim Francez
Follow to get improved recommendations.
Books by Nissim Francez
Program Verification (International Computer Science Series)
Out of Stock
Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming (Acm Press Books)
Out of Stock
Unification Grammars
$149.81
Proof-Theoretic Semantics
$27.00
A View of Connexive Logics
$22.82
Fairness (Texts and Monographs in Computer Science)
$59.87
Copyright © 2026 Thriftbooks.com Terms of Use
| Privacy Policy | Do Not
Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
