Author Description
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
Page Count:
440
Publication Date:
2004-01-01
ISBN-10:
052154310X
ISBN-13:
9780521543101
Science
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!