Каталог: Компьютеры »•» Программирование

	Абрамов, С.А. Элементы анализа программ. Частичные функции на множестве состояний Серия: Библиотечка программиста
	Издательство: М.: Наука. Главная редакция Физико-математической литературы
	Переплет: мягкий; 128 страниц; 1986 г.
	ISBN: [не указан]; Формат: стандартный
	Язык: русский
	На сайте с 09.01.2008

Аннотация

Описаны различные подходы к установлению свойств программ и доказательству теорем о программах.

В продаже   Хочу купить

Продавец: ledohod (Москва, RU/77 )   Состояние: отличное; В продаже с 10.02.2023 Комментарий: Корешок крепкий, страницы без пометок Условия доставки и оплаты Способы доставки: встреча по договоренности; почтой по предоплате; почтой, оплата по получении Способы оплаты: наличными; банковской картой Дополнительно: Уважаемые покупатели! Если Вы хотите получить заказ почтой, то это значит, что Вы согласны с тарифами почты России по пересылке книги. Вопросы, почему пересылка стоит дорого, не рассматриваются. Адресуйте их, пожалуйста, сотрудникам почтовых отделений.	Цена 50 руб
Продавец: ledohod (Москва, RU/77 )   Состояние: отличное; В продаже с 23.04.2024 Комментарий: Корешок крепкий, страницы без пометок Условия доставки и оплаты Способы доставки: встреча по договоренности; почтой по предоплате; почтой, оплата по получении Способы оплаты: наличными; банковской картой Дополнительно: Уважаемые покупатели! Если Вы хотите получить заказ почтой, то это значит, что Вы согласны с тарифами почты России по пересылке книги. Вопросы, почему пересылка стоит дорого, не рассматриваются. Адресуйте их, пожалуйста, сотрудникам почтовых отделений.	Цена 50 руб
Продавец: Hanz (Москва, RU/77 )   Состояние: отличное; В продаже с 21.10.2010 Условия доставки и оплаты Способы доставки: встреча по договоренности; самовывоз; почтой наложенным платежом; почтой, оплата по получении Способы оплаты: наличными; почтовый перевод/перевод без открытия счета; электронный платеж (WM, Y.Д и т.п.) Дополнительно: Отправляю книги Почтой России. Наложенным платежом стараюсь не пользоваться, отправляю без наложенного платежа с оплатой по факту получения. При пересылке по почте учитывайте, что кроме цены книги Вам придется оплатить и пересылку. Пакую книги в свою упаковку, за пересылку лишних денег не требую. В Москве предпочитаю личные встречи - это экономит деньги и время, но и почтой не брезгую.	Цена 60 руб
Продавец: Antennaria (Саратов, RU/64 )   Состояние: как новое; В продаже с 08.11.2023 Условия доставки и оплаты Способы доставки: встреча по договоренности; самовывоз; почтой по предоплате Способы оплаты: наличными; банковской картой Дополнительно: Все книги из большой частной коллекции. Состояние многих, реально, "как новое". Есть читанные. На всех книгах стоит аккуратная подпись владельца и дата приобретения.	Цена 100 руб

Искать похожие  только название автор и название

Добавить объявление продаю хочу купить

листать