Введение в теорию формального вывода программ
1232
Краткое содержание:
Экранизация книги

Введение в теорию формального вывода программ

Автор:
Валидов Фарит Искандерович
Год:
1999
Язык:
Русский
Страниц:
99
Описание:
Валидов, Фарит Искандерович. Введение в теорию формального вывода программ / Валидов Ф. И.; М-во общ. и проф. образования Рос. Федерации, М-во образования Респ. Татарстан, Ин-т экономики, упр. и права. - Казань : Таглимат, 1999. - 99 с. ; 21 см
Рейтинг по отзывам:
4.5
Рубрики:
Программы(компьют.)
ББК:
32.973.26-018
Дата создания:
2021-07-24 10:09:16
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Введение в теорию формального вывода программ
Она устаревшая или актуальная?
Устарела
Актуальна
Не знаю

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Прикрепить файл
Похожие книги
Прикрепить файл