Towards a Formal Description of ADA by D. Bjorner | Menrva Books | MenrvaBooks

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.

Towards a Formal Description of ADA

Towards a Formal Description of ADA

D. Bjorner

O. N. Oest

0

0

Author Description

Page Count:
652

Publication Date:
2014-01-15

ISBN-10:
3662213567

ISBN-13:
9783662213568

Community Tags

Reader Comments

Share Your Thoughts

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

Towards a Formal Description of ADA by D. Bjorner | Menrva Books | MenrvaBooks