Analyse und Verifikation von Programmen : Systematische Verfahren u. Unters. zur Erstellung fehlerfreier Software
860

Analyse und Verifikation von Programmen : Systematische Verfahren u. Unters. zur Erstellung fehlerfreier Software

Автор:
Endres Albert
Год:
1977
isbn:
3-486-21361-X
Язык:
Немецкий
Страниц:
405
Заглавие серии:
Reihe "Datenverarbeitung"
Описание:
Endres A. Analyse und Verifikation von Programmen : Systematische Verfahren u. Unters. zur Erstellung fehlerfreier Software / Von Dipl. Ing., Dr. rer. nat. Albert Endres. - München ; Wien : Oldenbourg, 1977. - 405 с. : ил. ; 23 см. - (Reihe "Datenverarbeitung"). - Библиогр.: с. 392-399
Рейтинг по отзывам:
5
Рубрики:
Счетные машины, электронные → Программирование
Примечания:
Библиогр.: с. 392-399
ББК:
З973.2-018
Дата создания:
2019-11-15 16:54:22
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Analyse und Verifikation von Programmen : Systematische Verfahren u. Unters. zur Erstellung fehlerfreier Software
В каком жанре книга?
Художественная литература
Наука и образование
Компьютеры и интернет
Бизнес и экономика
Искусство и культура
Дом, семья, досуг
Детская литература
Словари, справочники, энциклопедии
Техническая литература
Медицина
Юридическая литература
Астрология, магия, эзотерика
Литература на иностранных языках
Журналы и газеты
Другое
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Endres Albert
Digitale Bibliotheken : Inform.-Lösungen für globale Wissensmärkte = Сеть библиотек
Schuld sind die Computer! : Ängste, Gefahren und Probleme im Umfeld der Informatik
Название и адрес
Режим работы
Телефон
Библиотека №14, с. Ат-Баши
Чуйская область, Сокулукский район, с. Ак-Жол
Абая, 1а
Расположение на карте
Пн: 08:30-12:00 13:00-17:00
Вт: 08:30-12:00 13:00-17:00
Ср: 08:30-12:00 13:00-17:00
Чт: 08:30-12:00 13:00-17:00
Пт: 08:30-12:00 13:00-17:00
Название и адрес
Режим работы
Телефон
Централизованная система массовых библиотек г. Шымкента, ГУ
Туркестанская область, Шымкент, Абайский район, Катын копр м-н
Омешулы, 55а
Расположение на карте
Пн: 10:00-13:00 14:00-19:00
Вт: 10:00-13:00 14:00-19:00
Ср: 10:00-13:00 14:00-19:00
Чт: 10:00-13:00 14:00-19:00
Пт: 10:00-13:00 14:00-19:00
 +7 (7252) 30-04-72
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №2 им. Ю.В. Трифонова
Москва, Москва, Тверской район
Лесная, 63 ст1
Расположение на карте
санитарный день: последний вт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
 +7 (499) 251-41-42 +7 (499) 250-01-62
Показать номер
Название и адрес
Режим работы
Телефон
Центральная детская библиотека, г. Жуковский
Московская область, Жуковский городской округ, Жуковский, Лацкова м-н
Макаревского, 3
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (49848) 2-55-12
Показать номер
Название и адрес
Режим работы
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Арбат район
Моховая, 9 ст9
Расположение на карте
санитарный день: третий чт месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Название и адрес
Режим работы
Телефон
Центральная детская библиотека им. П.П. Ершова
Тюменская область, Тобольск городской округ, Тобольск, 8-й микрорайон
8-й микрорайон, 8а
Расположение на карте
санитарный день: последний вт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Сб: 10:00-13:00 14:00-19:00
Вс: 10:00-13:00 14:00-19:00
 +7 (3456) 25-19-84
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №2, г. Каспийск
Республика Дагестан, Каспийск городской округ, Каспийск
Ленина, 36
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +7 (87246) 5-23-85
Показать номер
Название и адрес
Режим работы
Телефон
Российская национальная библиотека
Санкт-Петербург, Санкт-Петербург, Центральный район, МО №78
Островского площадь, 1/3
Расположение на карте
санитарный день: последний вт месяца; зимний период: пн-пт 9:00-21:00; сб-вс 11:00-19:00
Пн: 13:00-21:00
Вт: 09:00-17:00
Ср: 13:00-21:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
Вс: 09:00-17:00
Название и адрес
Режим работы
Телефон
Центральная городская библиотека им. П. Комарова
Хабаровский край, Хабаровск городской округ, Хабаровск, Индустриальный район
Монтажная, 13
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
 +7 (4212) 50-81-76
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека №18
Калининградская область, Калининград городской округ, Калининград, Московский район
Машиностроительная, 166
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
 +7 (4012) 39-58-66
Показать номер
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Книжный магазин
Киев город со специальным статусом, Київ, Оболонський район, Петрівка
Вербова, 17/70
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
Название и адрес
Режим работы
Телефон
Клуб сімейного дозвілля, сеть магазинов
Киев город со специальным статусом, Київ, Дніпровський район, Воскресенка
Перова бульвар, 36
Расположение на карте
Пн: 10:00-21:00
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-21:00
 +380 (44) 540-23-65
Показать номер
Название и адрес
Режим работы
Телефон
ЗабАВа, книжный магазин
Ханты-Мансийский автономный округ, Сургут городской округ, Сургут, Центральный район, 11-й микрорайон
Бахилова, 1
Расположение на карте
Пн: 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-18:00
Вс: 10:00-13:00 14:00-18:00
 +7 (3462) 76-06-70
Показать номер
Название и адрес
Режим работы
Телефон
Книга+, сеть магазинов
Республика Татарстан, Набережные Челны городской округ, Набережные Челны, Центральный район, Новый Город
Сююмбике проспект, 40 блок 1
Расположение на карте
Пн: 10:00-22:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-22:00
 +7 (8552) 99-90-29
Показать номер
Название и адрес
Режим работы
Телефон
БашАкадемКнига, книжный магазин
Республика Башкортостан, Уфа городской округ, Уфа, Советский район
Революционная, 55
Расположение на карте
Пн: 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-905-308-98-22 +7 (347) 250-02-88
Показать номер
Название и адрес
Режим работы
Телефон
Читай город, сеть книжных магазинов
Самарская область, Самара городской округ, Самара, Октябрьский район
Ново-Садовая, 160м
Расположение на карте
Пн: 10:00-22:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-22:00
 8-800-444-84-44
Показать номер
Название и адрес
Режим работы
Телефон
Букер, магазин
Московская область, Черноголовка городской округ, Черноголовка
Школьный бульвар, 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
Вс: 10:00-18:00
Название и адрес
Режим работы
Телефон
ПолиНом, сеть магазинов канцелярских товаров и книг
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Железнодорожный район
Цивилева, 12
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (3012) 51-55-60
Показать номер
Название и адрес
Режим работы
Телефон
Оптимист, сеть книжно-канцелярских магазинов
Курская область, Курск городской округ, Курск, Центральный округ, Победа
Победы проспект, 48
Расположение на карте
Пн: 09:00-21:00
Вт: 09:00-21:00
Ср: 09:00-21:00
Чт: 09:00-21:00
Пт: 09:00-21:00
Сб: 09:00-21:00
Вс: 09:00-21:00
 +7-952-495-82-37
Показать номер
Название и адрес
Режим работы
Телефон
Читай-Город, сеть книжных магазинов
Кемеровская область, Кемерово городской округ, Кемерово, Центральный район
Кузнецкий проспект, 33а
Расположение на карте
Пн: 10:00-21:00
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-21:00
 8-800-444-84-44
Показать номер
Прикрепить файл