|
|
libcats.org
Formal Program Development - IFIP TC2-WG 2.1 State-of-the-Art ReportBernhard Möller, Helmut Partsch, Steve SchumanThis volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme ofthe group's work. Thus the core interests of the group are: - formal specification of solutions to problems, and - formal development/calculationof programs from such specifications.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Molekuelphysik und QuantenchemieАвтор: Hermann Haken, Автор: Hans C. WolfКатегория: Physics, General courses
Размер книги: 8.33 Mb
Сборник стандартов ЕСКДАвтор: Межгосударственный совет по стандартизации, Автор: метрологии и сертификации
Размер книги: 18.15 Mb
A Companion to International History 1900 - 2001Автор: Gordon MartelКатегория: Исторические
Размер книги: 6.81 Mb
Wired-Wireless Multimedia Networks and Services Management: 12th IFIP IEEE International Conference on Management of Multimedia and Mobile Networks ... Networks and Telecommunications)Автор: Tom Pfeifer, Автор: Paolo BellavistaКатегория: Наука (общее), Научно-популярное
Размер книги: 4.46 Mb
The Cambridge History of Africa, Volume 3: From c. 1050 to c. 1600Автор: Roland OliverКатегория: История
Размер книги: 19.98 Mb
Основы теории и конструкции танков, боевых машин пехоты, бронетранспортеров и армейских автомобилей. ч.2Автор: Медведков В.И. (ред.)
Размер книги: 11.21 Mb
|
|
|