Computer-Aided Reasoning : An Approach /
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on software engineering or formal methods. It is also suitable in conjunction with other books in courses on hardware design, discrete mat...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Boston, MA :
Springer US,
2000.
|
| Series: | Advances in formal methods ;
3. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
