Ein Modell zur Analyse programminhärenter Zusicherungen
1843

Ein Modell zur Analyse programminhärenter Zusicherungen

Автор:
Kirchgässner Walter
Год:
1988
isbn:
3-486-20925-6
Язык:
Немецкий
Страниц:
127
Заглавие серии:
Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; N 173 [0533-9480]
Описание:
Kirchgässner W. Ein Modell zur Analyse programminhärenter Zusicherungen / Walter Kirchgässner. - München ; Wien : Oldenbourg, 1988. - 127 с. ; 23 см. - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; N 173 [0533-9480]). - Библиогр.: с. 122-127
Рейтинг по отзывам:
5
Рубрики:
Вычислительные системы → Программирование
Примечания:
Библиогр.: с. 122-127
Дата создания:
2019-11-09 18:35:09
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Ein Modell zur Analyse programminhärenter Zusicherungen
У нее есть электронная версия?
Да.
Нет.
Возможно.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Новомилетская сельская библиотека
Московская область, Балашиха городской округ, с. Новый Милет
Парковая, 6
Расположение на карте
санитарный день: последний день месяца
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-17:00
Название и адрес
Режим работы
Телефон
Библиотека №13 им. Н.Г. Чернышевского
Москва, Москва, Замоскворечье район
Большая Татарская, 32
Расположение на карте
санитарный день: последний вт месяца
Вт: 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 (495) 951-60-78
Показать номер
Название и адрес
Режим работы
Телефон
Зал семейного чтения, Детская библиотека им. А.П. Гайдара
Республика Саха (Якутия), Якутск городской округ, Якутск, Центральный округ
Ленина проспект, 7/2
Расположение на карте
зимний период: вт-пт 10:00-19:00; сб-вс 11:00-18:00; пн выходной; санитарный день: последний день месяца
Пн: 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 (4112) 42-06-73
Показать номер
Название и адрес
Режим работы
Телефон
Центральная районная межпоселенческая библиотека, МБУК
Рязанская область, Рязань городской округ, Рязань, Октябрьский округ, Соколовка
Связи, 11а
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7 (4912) 28-86-24
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. А.А. Фадеева
Красноярский край, Красноярск городской округ, Красноярск, Ленинский район
Мичурина, 8
Расположение на карте
санитарный день: последний день месяца
Пн: 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 (391) 262-24-62
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №14, с. Измайловка
Краснодарский край, Сочи городской округ, Сочи, Хостинский район, Измайловка с.
Измайловская, 186а
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
Название и адрес
Режим работы
Телефон
Библиотека №8, Приморский район
Санкт-Петербург, Санкт-Петербург, Приморский район, МО №65
Савушкина, 128 к1
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 13:00-20:00
Вт: 13:00-20:00
Ср: 13:00-20:00
Чт: 13:00-20:00
Пт: 13:00-20:00
Сб: 11:00-18:00
Название и адрес
Режим работы
Телефон
Краснослободская детская библиотека
Волгоградская область, Среднеахтубинский район, Краснослободск
Шестакова, 29
Расположение на карте
санитарный день: последняя пт месяца
Вт: 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 (83443) 6-19-55
Показать номер
Название и адрес
Режим работы
Телефон
Централизованная библиотечная система, МБУК, г. Киселёвск
Кемеровская область, Киселёвский городской округ, Киселевск, Центральный (г.Киселёвск)
Советская, 9
Расположение на карте
летний период: сб-вс выходной
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-16:00
 +7 (38464) 2-04-61 +7 (38464) 2-03-64
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. А. Фета
Курская область, Курск городской округ, Курск, Сеймский округ, Парковая
Черняховского, 4а
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Сб: 11:00-19:00
Вс: 10:00-18:00
 +7 (4712) 37-14-46
Показать номер
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Клуб Семейного Досуга, сеть магазинов
Харьковская область, Харьков, Холодногорский район
Полтавский шлях, 144/1
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-19:00
Вс: 09:00-19:00
Название и адрес
Режим работы
Телефон
Книги от Геннадия, магазин
Рязанская область, Рязань городской округ, Рязань, Октябрьский округ, Театральный
Есенина, 63
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-18:00
Вс: 09:00-17:00
 +7-910-616-89-94
Показать номер
Название и адрес
Режим работы
Телефон
Оптимист, сеть книжно-канцелярских магазинов
Белгородская область, Белгород городской округ, Белгород, Западный округ
Богдана Хмельницкого проспект, 38
Расположение на карте
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 10:00-19:00
Вс: 10:00-19:00
 +7-920-597-73-76
Показать номер
Название и адрес
Режим работы
Телефон
Книгочей, магазин книг и канцелярских товаров
Тверская область, Тверь городской округ, Тверь, Заволжский район, Соминка
Кольцевая, 66
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 11:00-19:00
Вс: 11:00-19:00
Название и адрес
Режим работы
Телефон
Донская школа, магазин учебной литературы
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Ленинский район, Новое Поселение
Гвардейский переулок, 2/51
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (863) 267-56-11
Показать номер
Название и адрес
Режим работы
Телефон
Книгозор, сеть магазинов, ООО книгозор
Кемеровская область, Кемерово городской округ, Кемерово, Центральный район
Ленина проспект, 28
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 10:00-16:00
Вс: 10:00-16:00
 +7 (3842) 76-88-91 +7-950-571-42-86
Показать номер
Название и адрес
Режим работы
Телефон
Букварь, книготорговая компания
Калужская область, Калуга городской округ, Калуга, Октябрьский округ
Молодёжная, 10
Расположение на карте
Пн: 09:00-19:30
Вт: 09:00-19:30
Ср: 09:00-19:30
Чт: 09:00-19:30
Пт: 09:00-19:30
Сб: 09:00-19:30
Вс: 09:00-19:30
 +7-960-524-18-16
Показать номер
Название и адрес
Режим работы
Телефон
Музейный книжный магазин
Санкт-Петербург, Санкт-Петербург, Петроградский район, МО №59 "Кронверкское"
Петропавловская Крепость, 3 лит И
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-17:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
Название и адрес
Режим работы
Телефон
Книги Петербурга, торговая компания
Санкт-Петербург, Санкт-Петербург, Петроградский район, МО №63 "Чкаловское"
Вязовая, 10
Расположение на карте
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 09:00-20:00
Вс: 09:00-20:00
 +7-905-206-57-57
Показать номер
Название и адрес
Режим работы
Телефон
Дом университетской книги, магазин, Издательство, СПбГУ
Санкт-Петербург, Санкт-Петербург, Василеостровский район, МО №7
Менделеевская линия, 5
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:30-19:00
 +7 (812) 329-24-70 +7 (812) 329-24-71
Показать номер
Прикрепить файл