Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Manfred Broy , Stephan Merz , Katharina Spies
No ratings yet
1997 · English · Kindle · 2 editions
Add To Shelf

Rate this book


Export Book Journal

Reviews

No reviews yet

Be the first to review this book and share your thoughts

Sign In to Review
Add To Shelf

Rate this book


Export Book Journal