Acta informatica. Vol.34, fasc.10 = Создание реальных языков программирования, основанных на формальных спецификациях.
2377
Купить
Краткое содержание:
Экранизация книги

Acta informatica. Vol.34, fasc.10 = Создание реальных языков программирования, основанных на формальных спецификациях.

Год:
1997
Язык:
–
Перевод заглавия:
Создание реальных языков программирования, основанных на формальных спецификациях.
Описание:
Acta informatica. Vol.34, fasc.10. - 1997 Поиск автора для диссертации
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Информационные языки
Дата создания:
2019-08-10 15:13:06
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Acta informatica. Vol.34, fasc.10 = Создание реальных языков программирования, основанных на формальных спецификациях.

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Acta informatica. Vol.34, fasc.10 = Создание реальных языков программирования, основанных на формальных спецификациях.
Опросы
Она стоит дороже 200 руб?
Она стоит 200 руб.
Она стоит дороже.
Она стоит дешевле.
Не знаю
Содержание

Реставрация Acta informatica. Vol.34, fasc.10 = Создание реальных языков программирования, основанных на формальных спецификациях.

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2 им. К.Г. Паустовского
Одесская область, Одесса, Приморский район
Градоначальницкая, 9
Расположение на карте
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-18:00
Вс: 09:30-18:00
 +380 (48) 731-07-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Республиканская специализированная библиотека для слепых и глухих
Бишкек, Бишкек, Первомайский район
Кекол переулок, 5
Расположение на карте
Пн: 09:00-12:00 13:00-16:00
Вт: 09:00-12:00 13:00-16:00
Ср: 09:00-12:00 13:00-16:00
Чт: 09:00-12:00 13:00-16:00
Пт: 09:00-12:00 13:00-16:00
www.kosg.kg
 +996 (312) 37-51-35 +996 (312) 37-48-72
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Информационно-библиотечный центр для детей и юношества им. Г.Г. Поротова, МБУК Центральная городская библиотека
Камчатский край, Петропавловск-Камчатский городской округ, Петропавловск-Камчатский
Войцешека, 7а
Расположение на карте
зимний период: пн-сб 12:00-18:00; санитарный день: последний день месяца
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
lib-pk.ru
biblart.blogspot.com
Вконтакте:  https://vk.com/kamlibpk
Инстаграм:  https://instagram.com/kamlibpk
Facebook:  https://facebook.com/kamlibpk
Одноклассники:  https://ok.ru/kamlibpk
Youtube:  https://youtube.com/channel/UCLXNmyAvFHE4TdhTCQdmSqg
 +7 (4152) 26-20-70 +7 (4152) 23-23-06
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Декабристов
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Ленинский район, Молитовка
Баумана, 52
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вс: 11:00-18:00
 +7 (831) 252-53-58
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. Л.Н. Толстого, МУК Тульская библиотечная система
Тульская область, Тула городской округ, Тула, Советский район
Болдина, 149
Расположение на карте
санитарный день: последний день месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
Вс: 11:00-17:00
tbclib.ru
Вконтакте:  https://vk.com/libtbc
Твиттер:  https://twitter.com/@bibliotek2
 +7 (4872) 35-57-18 +7 (4872) 35-34-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека № 13 им. А.А. Любомудрова, МУК Тульская библиотечная система
Тульская область, Тула городской округ, Тула, Пролетарский район
Кирова, 26 к1
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-17:00
tbclib.ru
 +7 (4872) 40-26-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Областная универсальная научная библиотека
Саратовская область, Саратов городской округ, Саратов, Волжский район
Московская, 32
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.sounb.ru
Вконтакте:  https://vk.com/sounbsaratovlibrary
 +7 (8452) 23-50-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система детских библиотек, МБУ
Волгоградская область, Волгоград городской округ, Волгоград, Центральный район, Центр
Ленина, 6
Расположение на карте
июнь-август: пн-пт 10:00-18:00; сб-вс выходные; санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
bibliodeti-volg.ru
 +7 (8442) 38-42-46 +7 (8442) 38-37-31 +7 (8442) 38-42-45 +7 (8442) 38-37-55
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №22
Республика Карелия, Петрозаводский городской округ, Петрозаводск, Древлянка микрорайон
Лососинское шоссе, 26
Расположение на карте
санитарный день: последняя ср месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Вс: 11:00-18:00
biblioteka.ptz.ru
Вконтакте:  https://vk.com/public38213522
 +7 (8142) 75-10-98
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Кабанская центральная межпоселенческая библиотека
Республика Бурятия, Кабанский район, с. Кабанск
Кооперативная, 2
Расположение на карте
Пн: 08:00-16:30
Вт: 08:00-16:30
Ср: 08:00-16:30
Чт: 08:00-16:30
Пт: 08:00-16:30
Сб: 08:00-16:30
library.kabansk.org
 +7 (30138) 4-04-31
Показать номер
Рецензии и отзывы
Егор Петров
Acta informatica. Vol.34, fasc.10 = Создание реальных языков программирования, основанных на формальных спецификациях. – Харьков: НАМФ, 1997, c. 93-94. С. Н. Хоружий.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №2 им. К.Г. Паустовского
Одесская область, Одесса, Приморский район
Градоначальницкая, 9
Расположение на карте
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-18:00
Вс: 09:30-18:00
 +380 (48) 731-07-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Республиканская специализированная библиотека для слепых и глухих
Бишкек, Бишкек, Первомайский район
Кекол переулок, 5
Расположение на карте
Пн: 09:00-12:00 13:00-16:00
Вт: 09:00-12:00 13:00-16:00
Ср: 09:00-12:00 13:00-16:00
Чт: 09:00-12:00 13:00-16:00
Пт: 09:00-12:00 13:00-16:00
www.kosg.kg
 +996 (312) 37-51-35 +996 (312) 37-48-72
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Информационно-библиотечный центр для детей и юношества им. Г.Г. Поротова, МБУК Центральная городская библиотека
Камчатский край, Петропавловск-Камчатский городской округ, Петропавловск-Камчатский
Войцешека, 7а
Расположение на карте
зимний период: пн-сб 12:00-18:00; санитарный день: последний день месяца
Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
lib-pk.ru
biblart.blogspot.com
Вконтакте:  https://vk.com/kamlibpk
Инстаграм:  https://instagram.com/kamlibpk
Facebook:  https://facebook.com/kamlibpk
Одноклассники:  https://ok.ru/kamlibpk
Youtube:  https://youtube.com/channel/UCLXNmyAvFHE4TdhTCQdmSqg
 +7 (4152) 26-20-70 +7 (4152) 23-23-06
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Декабристов
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Ленинский район, Молитовка
Баумана, 52
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вс: 11:00-18:00
 +7 (831) 252-53-58
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. Л.Н. Толстого, МУК Тульская библиотечная система
Тульская область, Тула городской округ, Тула, Советский район
Болдина, 149
Расположение на карте
санитарный день: последний день месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
Вс: 11:00-17:00
tbclib.ru
Вконтакте:  https://vk.com/libtbc
Твиттер:  https://twitter.com/@bibliotek2
 +7 (4872) 35-57-18 +7 (4872) 35-34-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека № 13 им. А.А. Любомудрова, МУК Тульская библиотечная система
Тульская область, Тула городской округ, Тула, Пролетарский район
Кирова, 26 к1
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-17:00
tbclib.ru
 +7 (4872) 40-26-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Областная универсальная научная библиотека
Саратовская область, Саратов городской округ, Саратов, Волжский район
Московская, 32
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.sounb.ru
Вконтакте:  https://vk.com/sounbsaratovlibrary
 +7 (8452) 23-50-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система детских библиотек, МБУ
Волгоградская область, Волгоград городской округ, Волгоград, Центральный район, Центр
Ленина, 6
Расположение на карте
июнь-август: пн-пт 10:00-18:00; сб-вс выходные; санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
bibliodeti-volg.ru
 +7 (8442) 38-42-46 +7 (8442) 38-37-31 +7 (8442) 38-42-45 +7 (8442) 38-37-55
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №22
Республика Карелия, Петрозаводский городской округ, Петрозаводск, Древлянка микрорайон
Лососинское шоссе, 26
Расположение на карте
санитарный день: последняя ср месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Вс: 11:00-18:00
biblioteka.ptz.ru
Вконтакте:  https://vk.com/public38213522
 +7 (8142) 75-10-98
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Кабанская центральная межпоселенческая библиотека
Республика Бурятия, Кабанский район, с. Кабанск
Кооперативная, 2
Расположение на карте
Пн: 08:00-16:30
Вт: 08:00-16:30
Ср: 08:00-16:30
Чт: 08:00-16:30
Пт: 08:00-16:30
Сб: 08:00-16:30
library.kabansk.org
 +7 (30138) 4-04-31
Показать номер
Информация от пользователей
Азат Нагирян
Acta informatica. Vol.34, fasc.10 = Создание реальных языков программирования, основанных на формальных спецификациях. Сборник статей. Пер. с англ. Под ред. Д.В.Цветкова. – М.: Мир, 1994.– 264с.: ил. – Библиогр.: с.263-264. – ISBN 5-03-001044-2.
Прикрепить файл
Книга находятся в категориях.