Hirschfeld, Mitchell David Irwin — Books & Biography | Menrva Books

Hirschfeld, Mitchell David Irwin

Is this your author profile? Create an account to claim and customize it!

An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model

Discover

Goodreads Alternative

StoryGraph Alternative

Book Tracking App

Reading Tracker

Company

Why Menrva Books

Help & Support

Browse

© 2026 Menrva Books

All Rights Reserved.

Privacy Policy·Terms of Use·Affiliate Disclosure