Program specification and transformation : Proc. of the IFIP TC 2/WG 2. I Working conf. on progr. specification a. transformation, Bad Tölz, FRG, 15-17 Apr., 1986
1973

Program specification and transformation : Proc. of the IFIP TC 2/WG 2. I Working conf. on progr. specification a. transformation, Bad Tölz, FRG, 15-17 Apr., 1986

Год:
1987
isbn:
0-444-70223-7
Язык:
Английский
Страниц:
535
Описание:
Program specification and transformation : Proc. of the IFIP TC 2/WG 2. I Working conf. on progr. specification a. transformation, Bad Tölz, FRG, 15-17 Apr., 1986 / Ed. by L. G. L. T. Meertens. - Amsterdam etc. : North-Holland, 1987. - VIII, 535 с. : ил. ; 23 см. - Библиогр. в конце докл.
Рейтинг по отзывам:
5
Рубрики:
Счетные машины электронные → Программирование → Съезды, совещания и т.п.
Примечания:
Библиогр. в конце докл.
Другие ответственные лица:
Meertens, Lambert G. L. T. → Редактор; Meertens, Lambert G. L. T.
Дата создания:
2019-09-08 23:12:13
Соц. сети:
Introduction to Program Specification
This lecture provides a basic introduction to the idea of program specification. That is, specifying using either informal or formal language to state exactly what ...
Whiley
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Program specification and transformation : Proc. of the IFIP TC 2/WG 2. I Working conf. on progr. specification a. transformation, Bad Tölz, FRG, 15-17 Apr., 1986
Вам эта книга понравилась?
Да.
Нет.
Возможно.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
What is PROGRAM TRANSFORMATION? What does PROGRAM TRANSFORMATION mean?
http://www.theaudiopedia.com What is PROGRAM TRANSFORMATION? What does PROGRAM TRANSFORMATION mean? PROGRAM ...
The Audiopedia
What is a Design Doc: Software Engineering Best Practice #1
Ex-Google Tech Lead talks you through the #1 engineering practice: Design Docs. Get your free audiobook at our sponsor Audible ...
TechLead
SINUMERIK Tutorial - programming with programGUIDE
SINUMERIK Tutorial - graphical programming with programGUIDE: http://www.siemens.com/cnc4you This video tutorial provides more information about ...
Siemens
Название и адрес
Режим работы
Телефон
Детская библиотека №2
Павлодарская область, Павлодар, Усольский микрорайон
Майры, 47
Расположение на карте
санитарный день: последний день месяца; июнь-август: пн-пт 9: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-18:00
 +7 (7182) 52-68-08
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, с. Вольное
Краснодарский край, Успенский район, с. Вольное
Краснодарская, 2
Расположение на карте
Пн: 11:00-13:00 13:30-17:30
Вт: 11:00-13:00 13:30-17:30
Ср: 11:00-13:00 13:30-17:30
Чт: 11:00-13:00 13:30-17:30
Пт: 11:00-13:00 13:30-17:30
Сб: 11:00-13:00 13:30-17:30
 +7 (86140) 6-92-82
Показать номер
Название и адрес
Режим работы
Телефон
Фундаментальная библиотека
Москва, Москва, Хамовники район
Зубовский бульвар, 37 ст1
Расположение на карте
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
 +7 (499) 246-05-97
Показать номер
Название и адрес
Режим работы
Телефон
Российская государственная библиотека для слепых
Москва, Москва, Замоскворечье район
Валовая, 33
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-17:30
Вт: 09:00-17:30
Ср: 09:00-17:30
Чт: 09:00-17:30
Пт: 09:00-17:30
Сб: 09:00-17:30
 +7 (499) 236-47-29 +7 (499) 236-60-45
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека
Республика Татарстан, Набережные Челны городской округ, Набережные Челны, Автозаводский район, Новый Город
49-й комплекс, 16
Расположение на карте
сентябрь-май: пн-сб 9:00-17:00; вс выходной; санитарный день: последний чт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (8552) 56-28-25
Показать номер
Название и адрес
Режим работы
Телефон
Берёзовская библиотека
Нижегородская область, Арзамасский район, д. Березовка
Школьная, 2
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 11:00-16:00
 +7 (83147) 7-79-22
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская библиотека им. Н. Островского
Белгородская область, Белгород городской округ, Белгород, Восточный округ
Николая Островского, 14
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 10:00-18:00
 +7 (4722) 32-12-80 +7 (4722) 34-78-80
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №26
Воронежская область, Воронеж городской округ, Воронеж, Коминтерновский район
Генерала Лизюкова, 95
Расположение на карте
июнь-август: пн-пт 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-19:00
 +7 (473) 221-22-40
Показать номер
Название и адрес
Режим работы
Телефон
Централизованная библиотечная система Центрального района г. Сочи
Краснодарский край, Сочи городской округ, Сочи, Центральный район
Горького, 37
Расположение на карте
Пн: 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 (862) 253-17-04
Показать номер
Название и адрес
Режим работы
Телефон
Областная универсальная научная библиотека
Челябинская область, Челябинский городской округ, Челябинск, Советский район
Цвиллинга, 61
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
 +7 (351) 237-12-74
Показать номер
The lazy programmer's guide to writing thousands of tests - Scott Wlaschin
Don't forget to check out our links below! https://ndcporto.com/ https://ndcconferences.com/ We are all familiar with example-based testing, as typified by TDD ...
NDC Conferences An Introduction to the Business Transformation Framework
Mavim Transformation of Sentences. Short Cut Rules. Part-2. Degree, Voice, Assertive to Exclamatory
This video is about Transformation of sentences with Shortcut Rules. Degree, Voice , Assertive to Exclamatory.
Pavel's HSC English Talia Ringer — Proof Transformation: The Curry-Howard of Program Transformation
Logic Supergroup — Online Colloquium, May 15, 2020 https://logic.uconn.edu/supergroup/ Talia Ringer (Washington) — Proof Transformation: The ...
Logic Supergroup
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Классика, магазин антиквариата
Киев город со специальным статусом, Київ, Печерський район, Печерськ
Слави площа, 1
Расположение на карте
Пн: 11:00-15:00 16:00-19:00
Вт: 11:00-15:00 16:00-19:00
Ср: 11:00-15:00 16:00-19:00
Чт: 11:00-15:00 16:00-19:00
Пт: 11:00-15:00 16:00-19:00
Сб: 11:00-15:00 16:00-19:00
Вс: 11:00-15:00 16:00-19:00
 +380 (44) 531-94-14 +380 50-330-97-44
Показать номер
Название и адрес
Режим работы
Телефон
Книжный магазин, ИП Нургалиева К.С.
Мангистауская область, Актау, 12-й м-н
12-й микрорайон, 5в
Расположение на карте
Пн: 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-702-488-29-24 +7-707-428-16-01
Показать номер
Название и адрес
Режим работы
Телефон
Книжник, сеть магазинов
Тюменская область, Тобольск городской округ, Тобольск
Семёна Ремезова, 17
Расположение на карте
Пн: 08:00-20:00
Вт: 08:00-20:00
Ср: 08:00-20:00
Чт: 08:00-20:00
Пт: 08:00-20:00
Сб: 08:00-20:00
Вс: 08:00-20:00
Название и адрес
Режим работы
Телефон
Форум-книга, магазин учебной литературы
Республика Башкортостан, Салават городской округ, Салават
Ленина, 27
Расположение на карте
Пн: 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-17:00
 +7-960-805-07-93
Показать номер
Название и адрес
Режим работы
Телефон
Designbook.ru, интернет-магазин
Москва, Москва, Арбат район
Нижний Кисловский переулок, 3
Расположение на карте
Пн: 11:00-21:00
Вт: 11:00-21:00
Ср: 11:00-21:00
Чт: 11:00-21:00
Пт: 11:00-21:00
Сб: 15:00-21:00
 +7 (495) 697-73-36 +7 (495) 695-42-52
Показать номер
Название и адрес
Режим работы
Телефон
Читай-город, сеть книжных магазинов
Москва, Москва, Ясенево район
Профсоюзная, 129а
Расположение на карте
Пн: 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
Показать номер
Название и адрес
Режим работы
Телефон
Учитель, сеть магазинов книг и подарков
Волгоградская область, Волжский городской округ, Волжский, 39-й квартал / 2-й микрорайон
Ленина проспект, 84а
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-19:00
 +7 (8443) 39-00-49
Показать номер
Название и адрес
Режим работы
Телефон
Фолиант, магазин учебной литературы и канцелярии
Оренбургская область, Оренбург городской округ, Оренбург, Дзержинский район, Северный микрорайон
Дзержинского проспект, 23
Расположение на карте
Пн: 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 (3532) 67-48-58 +7 (3532) 67-47-50
Показать номер
Название и адрес
Режим работы
Телефон
Страничка, магазин, ООО Катерина
Красноярский край, Ачинск городской округ, Ачинск
9-й микрорайон, 2
Расположение на карте
Пн: 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-19:00
 +7 (39151) 4-07-52
Показать номер
Название и адрес
Режим работы
Телефон
Кирпич, магазин
Санкт-Петербург, Санкт-Петербург, Центральный район, МО №81 "Лиговка-Ямская"
Лиговский проспект, 74 к16
Расположение на карте
Пн: 13:00-21:00
Вт: 13:00-21:00
Ср: 13:00-21:00
Чт: 13:00-21:00
Пт: 13:00-21:00
Сб: 13:00-21:00
Вс: 13:00-21:00
Прикрепить файл