Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig

2861

Купить

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

Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig

Name: Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig
Rating: 4.5

Автор:

"Fachsprachen und Programmverifikation" Problemseminar (1978 Weißig)

Год:

1979

Язык:

Немецкий

Страниц:

112

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

[Vorträge] / Techn. univ. Dresden. Weiterbildungszentrum für math. Kybernetik u. Rechentechnik . Informationsverarbeitung ; H. 37

Описание:

"Fachsprachen und Programmverifikation", Problemseminar. Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig / Leiter des Seminars Prof. Dr. sc. nat. J. Bormann. - [Dresden], 1979. - [1], 112 с. : ил. ; 20 см. - ([Vorträge] / Techn. univ. Dresden. Weiterbildungszentrum für math. Kybernetik u. Rechentechnik . Informationsverarbeitung ; H. 37). - Библиогр. в конце докл.

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

4.5

Материалы:

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

Рубрики:

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

Примечания:

Загл. обл.: Vorträge zu Fachsprachen und Programmverifikation . - Библиогр. в конце докл.

ББК:

З973.2-я018я431

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

Bormann, Jürgen → Редактор

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

2021-12-18 14:52:56

Соц. сети:

Важно

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

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

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

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

Реферат по теме Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig

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

Курсовая по теме Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig

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

ВКР/Диплом по теме Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig

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

Диссертация по теме Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig

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

Заработать на знаниях по теме Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig

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

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

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

Режим работы

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

Телефон

Библиотека, с. Холодная Балка

Одесская область, Беляевский район, с. Холодная Балка
Школьная, 14
Расположение на карте

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

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

Режим работы

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

Телефон

Библиотека №14, г. Подольск

Московская область, Подольск городской округ, Подольск, Зелёновский м-н
Большая Зеленовская, 50
Расположение на карте

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

+7 (4967) 69-33-63

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

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

Режим работы

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

Телефон

Библиотека

Красноярский край, Ачинск городской округ, Ачинск
24-й квартал, 9
Расположение на карте

Пн: 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 (39151) 7-03-07

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

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

Режим работы

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

Телефон

Библиотека им. А.И. Люкина

Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Московский район
Чаадаева, 15
Расположение на карте

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

Вконтакте: https://vk.com/club101493231

+7 (831) 276-84-24

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

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

Режим работы

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

Телефон

Детская библиотека им. К.М. Станюковича

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

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

Вконтакте: https://vk.com/club132049698

+7 (831) 294-03-94

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

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

Режим работы

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

Телефон

Библиотека, пос.Вольновка

Саратовская область, Саратовский район, пос. Вольновка
Школьная, 10
Расположение на карте

Вт: 15:00-16:30
Ср: 15:00-16:30
Чт: 15:00-16:30
Пт: 15:00-16:30
Сб: 15:00-16:30
Вс: 15:00-16:30

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

Режим работы

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

Телефон

Библиотека №7 им. А.П. Чехова

Пермский край, Пермь городской округ, Пермь, Кировский район, Закамск
Автозаводская, 48
Расположение на карте

зимний период: пн-пт 11:00-19:00; сб 10:00-18:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00

www.biblioteki.perm.ru
Вконтакте: https://vk.com/bib7_chehov

+7 (342) 207-51-17

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

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

Режим работы

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

Телефон

Центральная военно-морская библиотека

Санкт-Петербург, Санкт-Петербург, Центральный район, МО №77 "Дворцовый"
Садовая, 2
Расположение на карте

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

cnlib.ru

+7 (812) 570-53-65

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

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

Режим работы

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

Телефон

Детская районная библиотека, с. Алтайское

Алтайский край, Алтайский район, с. Алтайское
Советская, 97
Расположение на карте

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

+7 (38537) 2-24-66

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

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

Режим работы

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

Телефон

Библиотека им. П.С. Кириллова

Республика Мордовия, Саранск городской округ, Саранск, Октябрьский район, Химмаш
Гожувская, 28
Расположение на карте

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

+7 (8342) 55-09-56

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

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

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

Режим работы

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

Телефон

Библиотека, с. Холодная Балка

Одесская область, Беляевский район, с. Холодная Балка
Школьная, 14
Расположение на карте

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

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

Режим работы

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

Телефон

Библиотека №14, г. Подольск

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

+7 (4967) 69-33-63

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

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

Режим работы

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

Телефон

Библиотека

Красноярский край, Ачинск городской округ, Ачинск
24-й квартал, 9
Расположение на карте

Пн: 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 (39151) 7-03-07

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

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

Режим работы

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

Телефон

Библиотека им. А.И. Люкина

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

Вконтакте: https://vk.com/club101493231

+7 (831) 276-84-24

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

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

Режим работы

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

Телефон

Детская библиотека им. К.М. Станюковича

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

Вконтакте: https://vk.com/club132049698

+7 (831) 294-03-94

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

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

Режим работы

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

Телефон

Библиотека, пос.Вольновка

Саратовская область, Саратовский район, пос. Вольновка
Школьная, 10
Расположение на карте

Вт: 15:00-16:30
Ср: 15:00-16:30
Чт: 15:00-16:30
Пт: 15:00-16:30
Сб: 15:00-16:30
Вс: 15:00-16:30

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

Режим работы

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

Телефон

Библиотека №7 им. А.П. Чехова

Пермский край, Пермь городской округ, Пермь, Кировский район, Закамск
Автозаводская, 48
Расположение на карте

зимний период: пн-пт 11:00-19:00; сб 10:00-18:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00

www.biblioteki.perm.ru
Вконтакте: https://vk.com/bib7_chehov

+7 (342) 207-51-17

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

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

Режим работы

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

Телефон

Центральная военно-морская библиотека

Санкт-Петербург, Санкт-Петербург, Центральный район, МО №77 "Дворцовый"
Садовая, 2
Расположение на карте

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

cnlib.ru

+7 (812) 570-53-65

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

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

Режим работы

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

Телефон

Детская районная библиотека, с. Алтайское

Алтайский край, Алтайский район, с. Алтайское
Советская, 97
Расположение на карте

+7 (38537) 2-24-66

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

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

Режим работы

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

Телефон

Библиотека им. П.С. Кириллова

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

+7 (8342) 55-09-56

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

Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig

Купить

Реферат по теме Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig

Курсовая по теме Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig

ВКР/Диплом по теме Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig

Диссертация по теме Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig

Заработать на знаниях по теме Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig

Реставрация Vorträge aus dem Problemseminar Fachsprachen und Programmverifikation, vom 27. Nov. bis 1. Dez. 1978 im Weißig