|
|
libcats.org
Using Z: Specification, Refinement, and ProofJim Woodcock, Jim DaviesThis book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Оценка риска бизнеса на основе нечетких данныхАвтор: Недосекин А.О.Категория: Экономика экономические науки
Размер книги: 2.12 Mb
Краткий курс по истории государства и права РоссииАвтор: Баталина, Автор: Валентина Владимировна
Размер книги: 18.24 Mb
Совершенствование шахматиста, Учебное пособиеАвтор: Рохлин Я.Г.Категория: 242275-Литература о шахматах, ru-board
Размер книги: 2.29 Mb
Пульпэктомия. Учебное пособие для стоматологов и студентовАвтор: Петрикас А.Ж.Категория: Медицина и здравоохранение
Размер книги: 30.04 Mb
Frommer's Irreverent Guide to Boston (2004) (Irreverent Guides)Автор: Marie Morris
Размер книги: 7.18 Mb
The Public Intellectualism of Ralph Waldo Emerson and W.E.B. Du Bois: Emotional Dimensions of Race and Reform (Cognitive Studies in Literature and Performance)Автор: Ryan Schneider
Размер книги: 1.95 Mb
Сумские гусары. 1651-1951.Автор: Б.Н.Говоров, Автор: Г.А.Швед и др.Категория: ВОЕННАЯ ИСТОРИЯ, ИСТОРИЯ
Размер книги: 18.70 Mb
Внутренняя баллистика ствольных систем и пороховых ракет.Автор: Серебряков М.Е.
Размер книги: 14.31 Mb
|
|
|