Уважаемые покупатели! В настоящий момент мы находимся в отпуске и не можем быстро обрабатывать Ваши заказы. Все поступившие заказы будут обработаны после 1 декабря. Приносим извинения за доставленные неудобства.
Есть в наличии
В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги — дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ. Для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования. Библиогр. 17 назв. Вес 100 г.
НаучКнига. Сайт основан на движке Inozem | Служебный вход | © НаучКнига 2015-2017 Страница сгенерирована за 0.09с. |