Author Description
Illustrates how intelligent systems can be applied to the verification, debugging, and synthesis of computer programs.
Page Count:
192
Publication Date:
1977-01-01
ISBN-10:
0444002251
ISBN-13:
9780444002259
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!