Francez Nissim — Books & Biography | Menrva Books | MenrvaBooks

Francez Nissim

Stand Alone

Program Verification (International Computer Science Series)

Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming (Acm Press Books)

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.