|
|
libcats.org
Categories for Software EngineeringJosé L. FiadeiroThis book provides a gentle introduction to category theory oriented to software engineering. Assuming only a minimum of mathematical background, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity ? a language for the architectural design of interactive systems.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
М.Б.Фридлянд. Электротехнические материалы для ремонта электрических машин и трансформаторов ("Библиотека электромонтера" #336) (djvu)Автор:
Размер книги: 1.84 Mb
М.Л.Каминский. Центровка валов электрических машин ("Библиотека электромонтера" #363) (djvu)Автор:
Размер книги: 1.84 Mb
Введение в дискретную математикуАвтор: Яблонский С.В.Категория: Computer science, Computability
Размер книги: 8.22 Mb
P-47 Thunderbolt Aces of the Eighth Air ForceАвтор: Jerry Scutts, Автор: Chris Davey
Размер книги: 13.97 Mb
Applied Demography for Biologists: with Special Emphasis on InsectsАвтор: James R. Carey
Размер книги: 9.63 Mb
Introduction to Digital Speech Processing (Foundations and Trends in Signal Processing)Автор: Lawrence R. Rabiner, Автор: Ronald W. Schafer
Размер книги: 2.38 Mb
Семантика языков программированияАвтор: Кораблин Ю.П.Категория: КНИГИ НАУКА и УЧЕБА
Размер книги: 28.85 Mb
|
|
|