|
|
libcats.org
The Object-Z Specification LanguageGraeme SmithObject-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Howard, Robert E. - Steve Harrison 1936 - Graveyard RatsАвтор: Howard Robert E
Размер книги: 134 Kb
Tradition, Modernity, and Postmodernity in Arabic Literature: Essays in Honor of Professor Issa J. BoullataАвтор: Issa J. Boullata, Автор: Wael B. Hallaq, Автор: Kamal Abdel-MalekКатегория: Литература, Литературоведение
Размер книги: 16.08 Mb
A History of the Crusades, Volume II: The Kingdom of Jerusalem and the Frankish East, 1100-1187Автор: Steven Runciman
Размер книги: 56.87 Mb
The Admiral's CaravanАвтор: Carryl Charles E, Автор: Birch Reginald BКатегория: fiction
Размер книги: 1.74 Mb
The One Year Book of Bible Promises (Epub, Mobi & PDF)Автор: James Stuart BellКатегория: Christian, Devotional
Размер книги: 28.56 Mb
|
|
|