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

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
Язык:
–
Заглавие серии:
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 c. : схем. ; 20 см. - (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-08-12 18:37:15
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме 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 для спецификации и верификации моделей распределенных систем

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, п.г.т. Рогань
Харьковская область, пгт Рогань
Культуры, 60
Расположение на карте
Пн: 09:00-12:00 12:30-17:30
Ср: 09:00-12:00 12:30-17:30
Чт: 09:00-12:00 12:30-17:30
Пт: 09:00-12:00 12:30-17:30
Сб: 09:00-12:00 12:30-17:30
 +380 (57) 740-66-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская детская библиотека
Калужская область, Калуга городской округ, Калуга, Октябрьский округ, Тайфун
Грабцевское шоссе, 116 к1
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00
 +7 (4842) 27-91-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотечно-информационный центр
Орловская область, Орёл городской округ, Орёл, Железнодорожный район, Экран
Московская, 78
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (4862) 54-25-28
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М.А. Светлова
Красноярский край, Красноярск городской округ, Красноярск, Советский район, Северный
Урванцева, 23
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
www.perensona23.ru
Вконтакте:  https://vk.com/bibliosever
 +7 (391) 277-41-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. А.С. Грина
Красноярский край, Красноярск городской округ, Красноярск, Свердловский район
Семафорная, 251
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-19:00
 +7 (391) 236-95-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №6 им. Е.А. Никонова
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Московский район, Бурнаковский
Куйбышева, 13
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Вс: 09:00-16:00
 +7 (831) 241-17-98
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. И.У. Басаргина
Приморский край, Владивостокский городской округ, Владивосток, Ленинский район
Адмирала Юмашева, 8
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.vladlib.ru
Вконтакте:  https://vk.com/vladlib
Facebook:  https://facebook.com/245727318847362
Одноклассники:  https://ok.ru/group/53232682598625
Твиттер:  https://twitter.com/@vladlibrary
 +7 (423) 244-02-94
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Торховский библиотечный пункт, Шатское библиотечное объединение
Тульская область, Тула городской округ, пос. Торхово
Центральная, 22
Расположение на карте
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-17:00
tbclib.ru
Вконтакте:  https://vk.com/public89914548
Твиттер:  https://twitter.com/@shatsklibr
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, ПГФА
Пермский край, Пермь городской округ, Пермь, Мотовилихинский район, Городские Горки
Крупской, 46
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вконтакте:  https://vk.com/public160403945
 +7 (342) 282-58-24
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Взрослая библиотека
Краснодарский край, Динской район, ст-ца Васюринская
Луначарского, 85
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-17:00
Вс: 10:00-18:00
 +7 (86162) 3-11-79
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, п.г.т. Рогань
Харьковская область, пгт Рогань
Культуры, 60
Расположение на карте
Пн: 09:00-12:00 12:30-17:30
Ср: 09:00-12:00 12:30-17:30
Чт: 09:00-12:00 12:30-17:30
Пт: 09:00-12:00 12:30-17:30
Сб: 09:00-12:00 12:30-17:30
 +380 (57) 740-66-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская детская библиотека
Калужская область, Калуга городской округ, Калуга, Октябрьский округ, Тайфун
Грабцевское шоссе, 116 к1
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00
 +7 (4842) 27-91-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотечно-информационный центр
Орловская область, Орёл городской округ, Орёл, Железнодорожный район, Экран
Московская, 78
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (4862) 54-25-28
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М.А. Светлова
Красноярский край, Красноярск городской округ, Красноярск, Советский район, Северный
Урванцева, 23
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
www.perensona23.ru
Вконтакте:  https://vk.com/bibliosever
 +7 (391) 277-41-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека им. А.С. Грина
Красноярский край, Красноярск городской округ, Красноярск, Свердловский район
Семафорная, 251
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-19:00
 +7 (391) 236-95-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №6 им. Е.А. Никонова
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Московский район, Бурнаковский
Куйбышева, 13
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Вс: 09:00-16:00
 +7 (831) 241-17-98
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. И.У. Басаргина
Приморский край, Владивостокский городской округ, Владивосток, Ленинский район
Адмирала Юмашева, 8
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.vladlib.ru
Вконтакте:  https://vk.com/vladlib
Facebook:  https://facebook.com/245727318847362
Одноклассники:  https://ok.ru/group/53232682598625
Твиттер:  https://twitter.com/@vladlibrary
 +7 (423) 244-02-94
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Торховский библиотечный пункт, Шатское библиотечное объединение
Тульская область, Тула городской округ, пос. Торхово
Центральная, 22
Расположение на карте
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-17:00
tbclib.ru
Вконтакте:  https://vk.com/public89914548
Твиттер:  https://twitter.com/@shatsklibr
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, ПГФА
Пермский край, Пермь городской округ, Пермь, Мотовилихинский район, Городские Горки
Крупской, 46
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вконтакте:  https://vk.com/public160403945
 +7 (342) 282-58-24
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Взрослая библиотека
Краснодарский край, Динской район, ст-ца Васюринская
Луначарского, 85
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-17:00
Вс: 10:00-18:00
 +7 (86162) 3-11-79
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.
Вы недавно смотрели