Computer-Aided Reasoning: An Approach (книга)
| Computer-Aided Reasoning: An Approach | |
| Автор: | Matt Kaufmann Panagiotis Manolios J Strother Moore |
|---|---|
| Оригинал издан: | ???? |
«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…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
