Элементы анализа программ. Частичные функции на множестве состояний, С.А.Абрамов, В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах....(644)
Тур Хейердал, Экспедиция "Кон-Тики". "Ра", Эксперимент норвежского ученого Тура Хейердала, который в 1947 году прошел с пятью товарищами на бальсовом плоту из Южной Америки через восточную часть тихого океана до Полинезии.....(079)(974)(789)(1269)
450 руб.Джеймс Крюс. Тим Талер, или Проданный смех. Памела Трэверс. Мэри Поппинс .....Популярные и любимые детьми во всем мире сказочные повести......(1124)
350 руб.(3092318)Литавар В., Станчик Г. Благоустройство садово-огородных и приусадебных участков
350 руб.(oz)(18...014)или(1092379)Карышев В.М. Воровской общак Паши Цируля. Версия адвоката, Его привозили в тюрьму – и весь тюремный мир готовился ко встрече, как к инспекторской проверке, а начальник СИЗО считал своим долгом лично принять его...(1147)
400 руб.oz(3092318)Парнов Еремей, Трон Люцифера. Критические очерки магии и оккультизма,...В ярких по форме очерках автор рассказывает об истоках западноевропейского мистицизма, в частности магии и оккультных учений...
500 руб.oz(3092317)Кривенко И. С. Новые типы червячных передач на судах. Расчет и проектирование
600 руб.oz(3092317)Казанцев А. Острее шпаги. Научно-фантастический роман о магистре прав, чисел и поэзии и его современниках в трех частях, с прологом и эпилогом
700 руб.(3092317)Шишкина Е. Русский Нострадамус. Легендарные пророчества и предсказания
350 руб.Элементы анализа программ. Частичные функции на множестве состояний, ...
Цена
200 руб.
Интернет-Магазин Julianna-cher
Представитель
Описание
Год выпуска 1986
Сохранность Хорошая
Количество страниц 128
ISBN КАЕ 519-20122017-64
Переплет Мягкая обложка
Статус Букинистическое издание
Вес в упаковке, г 225
В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ.Издательство: Наука
Сохранность Хорошая
Количество страниц 128
ISBN КАЕ 519-20122017-64
Переплет Мягкая обложка
Статус Букинистическое издание
Вес в упаковке, г 225
В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ.Издательство: Наука
Условия передачи
КНИГИ забираете Павлова 86 днем или вечером, ЗВОНИТЕ заранее, в предыдущий день, что бы я их привез на адрес, .ВСЕ КРОМЕ КНИГ ул. Тамбовская 35 или ул. Крайняя 2 или Красноярский Рабочий 89, .. ОБЯЗАТЕЛЬНО!!! ЗВОНИТЕ !!! ЗАРАНЕЕ!!! что бы согласовать место и время передачи лота...Сообщения За лотом приеду туда-то и во столько-то НЕ читаю...Для иногородних покупателей заранее согласуйте со мной условия и стоимость отправки лота в другой город или в другую страну с ПОМОЩЬЮ ЛИЧНЫХ СООБЩЕНИЙ ЗДЕСЬ...СМС , ПОЧТУ и Вотс АП НЕ ЧИТАЮ и НЕ отвечаю...ОБМЕНЫ НЕ интересны....задавайте все вопросы ДО...не делайте необдуманных ставок...Покупатель ПЕРВЫМ выходит на связь в течении 3-х дней...забираете лот в течении 5-и дней...потом лот перевыставляю.
Красноярск, ЖК Южный берег
Увеличить карту
Доставка в другие города
Почта России
Тур Хейердал, Экспедиция "Кон-Тики". "Ра", Эксперимент норвежского ученого Тура Хейердала, который в 1947 году прошел с пятью товарищами на бальсовом плоту из Южной Америки через восточную часть тихого океана до Полинезии.....(079)(974)(789)(1269)
450 руб.Джеймс Крюс. Тим Талер, или Проданный смех. Памела Трэверс. Мэри Поппинс .....Популярные и любимые детьми во всем мире сказочные повести......(1124)
350 руб.(3092318)Литавар В., Станчик Г. Благоустройство садово-огородных и приусадебных участков
350 руб.(oz)(18...014)или(1092379)Карышев В.М. Воровской общак Паши Цируля. Версия адвоката, Его привозили в тюрьму – и весь тюремный мир готовился ко встрече, как к инспекторской проверке, а начальник СИЗО считал своим долгом лично принять его...(1147)
400 руб.oz(3092318)Парнов Еремей, Трон Люцифера. Критические очерки магии и оккультизма,...В ярких по форме очерках автор рассказывает об истоках западноевропейского мистицизма, в частности магии и оккультных учений...
500 руб.oz(3092317)Кривенко И. С. Новые типы червячных передач на судах. Расчет и проектирование
600 руб.oz(3092317)Казанцев А. Острее шпаги. Научно-фантастический роман о магистре прав, чисел и поэзии и его современниках в трех частях, с прологом и эпилогом
700 руб.(3092317)Шишкина Е. Русский Нострадамус. Легендарные пророчества и предсказания
350 руб.Поделиться этим лотом: