A new language Basic-Real for specification and verification of distributed system models = Новый язык Basic-Real для спецификации верификации моделей распределенных систем
2530
Купить
Краткое содержание:
Экранизация книги

A new language Basic-Real for specification and verification of distributed system models = Новый язык Basic-Real для спецификации верификации моделей распределенных систем

Авторы:
Nepomnjaščij Valerij Aleksandrovič
Šilov Nikolaj Vjačeslavovič
Bodin E V
Год:
1999
Язык:
–
Страниц:
39
Заглавие серии:
Preprint / Siberian div. of the Russ. acad. of sciences, A.P. Ershov inst. of informatics systems ; 65
Описание:
Nepomnjaščij Valerij Aleksandrovič, Šilov Nikolaj Vjačeslavovič, Bodin E V A new language Basic-Real for specification and verification of distributed system models = Новый язык Basic-Real для спецификации верификации моделей распределенных систем / V.A. Nepomniaschy, N.V. Shilov, E.V. Bodin. - Novosibirsk : A.P. Ershov inst. of informatics systems, 1999. - 39 с. ; 19 см. - (Preprint / Siberian div. of the Russ. acad. of sciences, A.P. Ershov inst. of informatics systems ; 65). - Библиогр.: с. 30-31
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
BASIC-REAL,язык программирования
Примечания:
Авт. также на рус. яз.: В.А. Непомнящий, Н.В. Шилов, Е.В. Бодин. Рез. на рус. яз . - Библиогр.: с. 30-31
Дата создания:
2021-06-05 20:47:07
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме A new language Basic-Real for specification and verification of distributed system models = Новый язык Basic-Real для спецификации верификации моделей распределенных систем

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
A new language Basic-Real for specification and verification of distributed system models = Новый язык Basic-Real для спецификации верификации моделей распределенных систем
Опросы
На каком языке книга?
Русский
Английский
Немецкий
Китайский
Японский
Испанский
Французский
Португальский
Арабский
Другой
Не знаю
Содержание

Реставрация A new language Basic-Real for specification and verification of distributed system models = Новый язык Basic-Real для спецификации верификации моделей распределенных систем

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека
Чуйская область, Ысык-Атинский район, с. Новопокровка
Ленина, 335а
Расположение на карте
Пн: 08:00-12:00 13:00-17:00
Вт: 08:00-12:00 13:00-17:00
Ср: 08:00-12:00 13:00-17:00
Чт: 08:00-12:00 13:00-17:00
Пт: 08:00-12:00 13:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Актюбинский университет им. С. Баишева
Актюбинская область, Актобе городская администрация, Актобе, 8-й м-н
Братьев Жубановых, 302/2Б
Расположение на карте
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
 +7 (7132) 97-40-82
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №232
Москва, Москва, Покровское-Стрешнево район
Тушинский 2-й проезд, 8
Расположение на карте
санитарный день: первое вс месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
szao-cbs.ru
 +7 (495) 491-75-82
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека им. Е.И. Овсянкина, САФУ им. М.В. Ломоносова
Архангельская область, Архангельск городской округ, Архангельск, Ломоносовский округ
Смольный Буян, 1
Расположение на карте
зимний период: пн-пт 8:00-19:00
Пн: 08:00-16:00
Вт: 08:00-16:00
Ср: 08:00-16:00
Чт: 08:00-16:00
Пт: 08:00-16:00
library.narfu.ru
Вконтакте:  https://vk.com/libnarfu
 +7 (8182) 68-26-98 +7 (8182) 21-61-40 +7 (8182) 21-61-00
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №15
Ивановская область, Иваново городской округ, Иваново, Советский район
Котельницкий 4-й переулок, 1Б
Расположение на карте
санитарный день: первый день месяца; 16 число месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
Вс: 09:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №8
Ярославская область, Ярославский район, Ярославль, Дзержинский район, 11-й микрорайон
Труфанова, 17 к2
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 10:00-18:00
www.clib.yar.ru
 +7 (4852) 53-68-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №14
Пензенская область, Пенза городской округ, Пенза, Первомайский район, Западная поляна
Мира, 48
Расположение на карте
санитарный день: последний вт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
penzacitylib.ru
 +7 (8412) 34-73-83
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Пермский государственный институт культуры
Пермский край, Пермь городской округ, Пермь, Ленинский район, Центр
Газеты Звезда, 18
Расположение на карте
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
psiac.ru
psiac.ru/struct/upravl/dep/282
Вконтакте:  https://vk.com/psiac.perm
Инстаграм:  https://instagram.com/psaac_perm
Facebook:  https://facebook.com/psaac.perm
Твиттер:  https://twitter.com/@psaac_perm
 +7 (342) 212-45-93 +7 (342) 212-63-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, п.г.т. Анджиевский
Ставропольский край, Минераловодский городской округ, пос. Анджиевский
Анджиевского, 3
Расположение на карте
Пн: 09:30-13:00 13:30-18:00
Ср: 09:30-13:00 13:30-18:00
Чт: 09:30-13:00 13:30-18:00
Пт: 09:30-13:00 13:30-18:00
Вс: 09:30-13:00 13:30-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Ставропольская централизованная библиотечная система
Ставропольский край, Ставрополь городской округ, Ставрополь, Промышленный район, 19-й микрорайон
Ленина, 474
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-19:00
www.stav-cbs.ru
Facebook:  https://facebook.com/350511671813258
 +7 (8652) 56-09-77
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека
Чуйская область, Ысык-Атинский район, с. Новопокровка
Ленина, 335а
Расположение на карте
Пн: 08:00-12:00 13:00-17:00
Вт: 08:00-12:00 13:00-17:00
Ср: 08:00-12:00 13:00-17:00
Чт: 08:00-12:00 13:00-17:00
Пт: 08:00-12:00 13:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Актюбинский университет им. С. Баишева
Актюбинская область, Актобе городская администрация, Актобе, 8-й м-н
Братьев Жубановых, 302/2Б
Расположение на карте
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
 +7 (7132) 97-40-82
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №232
Москва, Москва, Покровское-Стрешнево район
Тушинский 2-й проезд, 8
Расположение на карте
санитарный день: первое вс месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
szao-cbs.ru
 +7 (495) 491-75-82
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека им. Е.И. Овсянкина, САФУ им. М.В. Ломоносова
Архангельская область, Архангельск городской округ, Архангельск, Ломоносовский округ
Смольный Буян, 1
Расположение на карте
зимний период: пн-пт 8:00-19:00
Пн: 08:00-16:00
Вт: 08:00-16:00
Ср: 08:00-16:00
Чт: 08:00-16:00
Пт: 08:00-16:00
library.narfu.ru
Вконтакте:  https://vk.com/libnarfu
 +7 (8182) 68-26-98 +7 (8182) 21-61-40 +7 (8182) 21-61-00
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №15
Ивановская область, Иваново городской округ, Иваново, Советский район
Котельницкий 4-й переулок, 1Б
Расположение на карте
санитарный день: первый день месяца; 16 число месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
Вс: 09:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №8
Ярославская область, Ярославский район, Ярославль, Дзержинский район, 11-й микрорайон
Труфанова, 17 к2
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 10:00-18:00
www.clib.yar.ru
 +7 (4852) 53-68-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №14
Пензенская область, Пенза городской округ, Пенза, Первомайский район, Западная поляна
Мира, 48
Расположение на карте
санитарный день: последний вт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
penzacitylib.ru
 +7 (8412) 34-73-83
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Пермский государственный институт культуры
Пермский край, Пермь городской округ, Пермь, Ленинский район, Центр
Газеты Звезда, 18
Расположение на карте
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
psiac.ru
psiac.ru/struct/upravl/dep/282
Вконтакте:  https://vk.com/psiac.perm
Инстаграм:  https://instagram.com/psaac_perm
Facebook:  https://facebook.com/psaac.perm
Твиттер:  https://twitter.com/@psaac_perm
 +7 (342) 212-45-93 +7 (342) 212-63-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, п.г.т. Анджиевский
Ставропольский край, Минераловодский городской округ, пос. Анджиевский
Анджиевского, 3
Расположение на карте
Пн: 09:30-13:00 13:30-18:00
Ср: 09:30-13:00 13:30-18:00
Чт: 09:30-13:00 13:30-18:00
Пт: 09:30-13:00 13:30-18:00
Вс: 09:30-13:00 13:30-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Ставропольская централизованная библиотечная система
Ставропольский край, Ставрополь городской округ, Ставрополь, Промышленный район, 19-й микрорайон
Ленина, 474
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-19:00
www.stav-cbs.ru
Facebook:  https://facebook.com/350511671813258
 +7 (8652) 56-09-77
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.