|
|
libcats.org
Главная →
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, ... 8thRecent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, ... 8thMichel Bidoit, Christine ChoppyThe algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Ice Ages and Interglacials: Measurements, Interpretation and ModelsАвтор: Donald Rapp
Размер книги: 4.61 Mb
Adaptive Information Systems and Modelling in Economics and Management Science (Interdisciplinary Studies in Economics and Management)Автор: Alfred TaudesКатегория: Экономика
Размер книги: 6.47 Mb
The Counsellor's Workbook: Developing a Personal Approach, 2nd ed.Автор: John McLeod
Размер книги: 1.35 Mb
Елементарний підручник фізики. Том 3. Коливання, хвилі, оптика, будова атомаАвтор: Ландсберг Г.С.
Размер книги: 13.70 Mb
|
|
|