Поиск
На сайте: 567989 статей, 285490 фото.

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…»

Рецензии

См. также

Ссылки