Formal Verification of Object-Oriented Software by Bernhard Beckert | Menrva Books | MenrvaBooks

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.

Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software

Bernhard Beckert

0

0

Author Description

null

Page Count:
0

Publication Date:
2012-01-01

ISBN-13:
9783642317620

Science

Community Tags

Reader Comments

Share Your Thoughts

No comments yet. Be the first to share your thoughts!

Formal Verification of Object-Oriented Software by Bernhard Beckert | Menrva Books | MenrvaBooks