The foundations of program verification by Jacques Loeckx | Menrva Books | MenrvaBooks

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.

The foundations of program verification

The foundations of program verification

Jacques Loeckx

0

0

Author Description

null

Page Count:
230

Publication Date:
1984-01-01

ISBN-10:
047190323X

Community Tags

Reader Comments

Share Your Thoughts

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

The foundations of program verification by Jacques Loeckx | Menrva Books | MenrvaBooks