|
libcats.org
Главная →
Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings: v. 1548Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings: v. 1548Armando M. HaebererThis book constitutes the refereed proceedings of the 7th International Conference on Algebraic Methodology and Software Technology, AMAST'98, held in Amazonia, Brazil in January 1999. The 29 revised full papers presented were carefully selected from a total of 80 submissions. Also included are extended abstracts of six invited survey talks and three system descriptions. The papers span the whole range of algebraic methods in software engineering. Among the topics addressed are algebraic semantics, algebraic specification, model checking, logics for real-time and reactive systems, modal logics, term rewriting, formal verification, process algebras, type systems, etc.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#1
Эволюционная теория познания : врождённые структуры познания в контексте биологии, психологии, лингвистики, философии и теории наукиФоллмер ГерхардКатегория: Философия
1.48 Mb
#4
Практикум по возрастно-психологическому консультированиюХозиева М.В.Категория: Психология практическая
364 Kb
#7
Основы сварки судовых конструкцийС. А. Андреев и др.Категория: Транспорт -- Водный транспорт -- Суда -- Детали, узлы, конструкции -- Сварка -- Учебник для высшей школы(rubbk)
5.65 Mb
#8
Сварка. Часть II. Дефекты сварных швов и контроль качества металла: Лабораторный практикумГордиенко В.Е., Гордиенко Е.Г., Степанов С.А., Кнышев Ю.В.Категория: Сварка
993 Kb
#9
Технология конструкционных материалов. Часть II. Сварка: Лабораторный практикумГордиенко В Е., Гордиенко Е.Г., Степанов С.А., Кнышев Ю.В., Жигарь Л.И., Овчинников Н.В.Категория: Сварка
1.41 Mb
|
|