Formal methods for real-time computing by Dino Mandrioli | Menrva Books | MenrvaBooks

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.

Formal methods for real-time computing by Dino Mandrioli | Menrva Books | MenrvaBooks

Formal methods for real-time computing

Formal methods for real-time computing

Dino Mandrioli

Constance Heitmeyer

0

0

Author Description

xvii, 271 p.: 24 cm

Page Count:
271

Publication Date:
1996-01-01

ISBN-10:
0471958352

Community Tags

Reader Comments

Share Your Thoughts

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