Санкт-Петербургский Дом Книги
ИНТЕРНЕТ-МАГАЗИН:
(800) 555-08-42
СПРАВОЧНАЯ СЛУЖБА ДОМА КНИГИ
НЕВСКИЙ, 28:
(812) 448-23-55
Купить книгу Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог
  • Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог


  • Автор: Яхонтов С.В. ISBN: 978-5-288-05544-7
    Полка: Этаж 0, раздел 224, стеллаж 03, полка 3
Цена при заказе на сайте:
 575,10 p
Положить в корзину
Остался 1 экземпляр
*Указана цена интернет-магазина.
Цена в магазине на Невском, 28 может отличаться.
Оплата:
Нажимая на кнопку, Вы соглашаетесь на
обработку персональных данных.
Заказ в 1 клик


ОПИСАНИЕ







Интернет-магазин Дома Книги рад представить Вашему вниманию книгу "Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог" из раздела "Теория информации. Информатика.". Перед покупкой книги Вы можете ознакомиться с информацией о ней и номером ISBN 978-5-288-05544-7. Доставка книги осуществляется почтой РФ, самовывозом, а также курьером по Санкт-Петербургу.

Ваша корзина пуста. Для оформления заказа Вам необходимо добавить товары в корзину с помощью соответствующей кнопки.

ВНИМАНИЕ!



МЫ В СОЦИАЛЬНЫХ СЕТЯХ: