FME'94 : Industr. benefit of formal methods : Proceedings = FME'94: Промышленная выгода формальных методов. Второй международный симпозиум по формальным методам Европы, Барселона, Испания, 24-28 октября 1994. Доклады.

1624

Купить

Краткое содержание:

FME'94 : Industr. benefit of formal methods : Proceedings = FME'94: Промышленная выгода формальных методов. Второй международный симпозиум по формальным методам Европы, Барселона, Испания, 24-28 октября 1994. Доклады.

Name: FME'94 : Industr. benefit of formal methods : Proceedings = FME'94: Промышленная выгода формальных методов. Второй международный симпозиум по формальным методам Европы, Барселона, Испания, 24-28 октября 1994. Доклады.
Rating: 4.5
ISBN: 3-540-58555-9

Год:

cop. 1994

isbn:

3-540-58555-9

Язык:

–

Перевод заглавия:

FME'94: Промышленная выгода формальных методов. Второй международный симпозиум по формальным методам Европы, Барселона, Испания, 24-28 октября 1994. Доклады.

Заглавие серии:

Lecture notes in computer science ; 873

Описание:

FME'94 : Industr. benefit of formal methods : Proceedings / Second Intern. symp. of formal methods Europe, Barcelona, Spain, Oct. 24-28, 1994; Maurice Naftalin et al. (eds.). - Berlin etc. : Springer-Verl., cop. 1994. - XI, 723 c. : ил. ; 24 см. - (Lecture notes in computer science ; 873). - Библиогр. в конце докл

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

Счетные машины электронные → Программное обеспечение → Съезды, совещания и т.п.

Примечания:

Библиогр. в конце докл

Автор (ред., сост., организация):

International symposium of formal methods Europe (2 , 1994 , Barcelona)

Другие ответственные лица:

Naftalin, Maurice → Редактор

Дата создания:

2022-03-25 17:17:12

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Реферат по теме FME'94 : Industr. benefit of formal methods : Proceedings = FME'94: Промышленная выгода формальных методов. Второй международный симпозиум по формальным методам Европы, Барселона, Испания, 24-28 октября 1994. Доклады.

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме FME'94 : Industr. benefit of formal methods : Proceedings = FME'94: Промышленная выгода формальных методов. Второй международный симпозиум по формальным методам Европы, Барселона, Испания, 24-28 октября 1994. Доклады.

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме FME'94 : Industr. benefit of formal methods : Proceedings = FME'94: Промышленная выгода формальных методов. Второй международный симпозиум по формальным методам Европы, Барселона, Испания, 24-28 октября 1994. Доклады.

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме FME'94 : Industr. benefit of formal methods : Proceedings = FME'94: Промышленная выгода формальных методов. Второй международный симпозиум по формальным методам Европы, Барселона, Испания, 24-28 октября 1994. Доклады.

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме FME'94 : Industr. benefit of formal methods : Proceedings = FME'94: Промышленная выгода формальных методов. Второй международный симпозиум по формальным методам Европы, Барселона, Испания, 24-28 октября 1994. Доклады.

Заработать от 15 000 руб. до 150 000 руб.

Реставрация FME'94 : Industr. benefit of formal methods : Proceedings = FME'94: Промышленная выгода формальных методов. Второй международный симпозиум по формальным методам Европы, Барселона, Испания, 24-28 октября 1994. Доклады.

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

Показать контакты

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Инновационный Евразийский Университет

Павлодарская область, Павлодар
Горького, 120/2
Расположение на карте

Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-14:00

www.ineu.edu.kz
Вконтакте: https://vk.com/pvlineu
Твиттер: https://twitter.com/@cpinineu

+7 (7182) 31-42-78

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №264

Москва, пос. Коммунарка, Сосенское поселение
Коммунарка посёлок, 14а
Расположение на карте

Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-19:00
Вс: 10:00-19:00

www.newmoslib.ru

+7 (499) 146-90-40

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Областная юношеская библиотека им. А.А. Суркова

Ярославская область, Ярославский район, Ярославль, Фрунзенский район
Московский проспект, 147
Расположение на карте

санитарный день: последняя ср месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00

libsurkov.ru
Facebook: https://facebook.com/1375248442760885

+7 (4852) 44-32-03 +7 (4852) 44-29-96 +7 (4852) 44-31-93 +7 (4852) 44-53-94

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, пос. Майский

Белгородская область, Белгородский район, пос. Майский
Кирова, 6
Расположение на карте

Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-14:00 14:48-18:00
Вс: 10:00-14:00 14:48-18:00

+7 (4722) 39-23-76

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека №11

Челябинская область, Челябинский городской округ, Челябинск, Курчатовский район
Комсомольский проспект, 53
Расположение на карте

июнь-август: пн-чт 10:00-18:00; пт 10:00-17:00; вс выходной; санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-17:00
Вс: 10:00-17:00

+7 (351) 741-36-82

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №12

Республика Татарстан, Альметьевский район, Альметьевск
Чапаева, 4
Расположение на карте

летний период: пн-пт 10:00-18:00; санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00

+7 (8553) 32-43-15

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека им. А.И. Герцена

Тверская область, Тверь городской округ, Тверь, Московский район
Ивана Богданова, 22 к1
Расположение на карте

санитарный день: последняя пт месяца
Вт: 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.mbstver.ru
Вконтакте: https://vk.com/club35066524
Инстаграм: https://instagram.com/gercenka_lib
Facebook: https://facebook.com/mbstver
Твиттер: https://twitter.com/@gercenka

+7 (4822) 58-19-01

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека им. А.И. Герцена

Тверская область, Тверь городской округ, Тверь, Заволжский район
Литвинки, ст1
Расположение на карте

санитарный день: последний чт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00

+7 (4822) 53-48-81

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Сельская библиотека, с. Лесное

Алтайский край, Бийский район, с. Лесное
Лесная, 47
Расположение на карте

Пн: 11:00-15:00
Вт: 11:00-15:00
Ср: 11:00-15:00
Чт: 11:00-15:00
Пт: 11:00-15:00

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, с. Турунтаево

Республика Бурятия, Прибайкальский район, с. Турунтаево
Оболенского, 5а
Расположение на карте

Пн: 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
Сб: 10:00-13:00 14:00-17:00

+7 (30144) 51-1-27

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Инновационный Евразийский Университет

Павлодарская область, Павлодар
Горького, 120/2
Расположение на карте

Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-14:00

www.ineu.edu.kz
Вконтакте: https://vk.com/pvlineu
Твиттер: https://twitter.com/@cpinineu

+7 (7182) 31-42-78

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №264

Москва, пос. Коммунарка, Сосенское поселение
Коммунарка посёлок, 14а
Расположение на карте

Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-19:00
Вс: 10:00-19:00

www.newmoslib.ru

+7 (499) 146-90-40

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Областная юношеская библиотека им. А.А. Суркова

санитарный день: последняя ср месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00

libsurkov.ru
Facebook: https://facebook.com/1375248442760885

+7 (4852) 44-32-03 +7 (4852) 44-29-96 +7 (4852) 44-31-93 +7 (4852) 44-53-94

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, пос. Майский

Белгородская область, Белгородский район, пос. Майский
Кирова, 6
Расположение на карте

Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-14:00 14:48-18:00
Вс: 10:00-14:00 14:48-18:00

+7 (4722) 39-23-76

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека №11

+7 (351) 741-36-82

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №12

Республика Татарстан, Альметьевский район, Альметьевск
Чапаева, 4
Расположение на карте

+7 (8553) 32-43-15

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека им. А.И. Герцена

Тверская область, Тверь городской округ, Тверь, Московский район
Ивана Богданова, 22 к1
Расположение на карте

санитарный день: последняя пт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00

+7 (4822) 58-19-01

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека им. А.И. Герцена

Тверская область, Тверь городской округ, Тверь, Заволжский район
Литвинки, ст1
Расположение на карте

санитарный день: последний чт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00

+7 (4822) 53-48-81

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Сельская библиотека, с. Лесное

Алтайский край, Бийский район, с. Лесное
Лесная, 47
Расположение на карте

Пн: 11:00-15:00
Вт: 11:00-15:00
Ср: 11:00-15:00
Чт: 11:00-15:00
Пт: 11:00-15:00

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, с. Турунтаево

Республика Бурятия, Прибайкальский район, с. Турунтаево
Оболенского, 5а
Расположение на карте

Пн: 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
Сб: 10:00-13:00 14:00-17:00

+7 (30144) 51-1-27

Показать номер