Разработка и проектирование программ. CASE-технологии

Список источников >Нехудожественная литература >Компьютерная литература >Разработка программного обеспечения >Разработка и проектирование программ. CASE-технологии >

Computer-Aided Reasoning: An Approach (Advances in Formal Methods)

Автор: Matt Kaufmann, Panagiotis Manolios, J Strother Moore
Год: [не указано]
Издание: [не указанo]
Страниц: [не указано]
ISBN: 0792377443
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 mathematics, or theory, especially courses stressing formalism, rigor, or mechanized support. It is also appropriate for courses on artificial intelligence or automated reasoning and as a reference for business and industry.
Добавлено: 2013-10-22 15:56:21

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2017, Список Литературы