|
|
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
Handbook of Antennas in Wireless CommunicationsАвтор: Lester Packer, Автор: Enrique Cadenas
Размер книги: 37.19 Mb
Только что пользователи скачали эти книги:
(Ellora's Cave) Mary Janice Davidson - Wyndham Werewolves 01 - Love's PrisonerАвтор: Davidson Mary Janice
Размер книги: 195 Kb
Science of fullerenes and carbon nanotubesАвтор: M. S. Dresselhaus, Автор: G. Dresselhaus, Автор: P. C. Eklund
Размер книги: 9.12 Mb
Infinity: Beyond the Beyond the BeyondАвтор: Lillian R. Lieber, Автор: Hugh Gray Lieber, Автор: Barry MazurКатегория: M_Mathematics, MPop_Popular-level
Размер книги: 1.96 Mb
The Future of Nursing: Leading Change, Advancing HealthАвтор: at the Institute of Medicine Committee on the Robert Wood Johnson Foundation Initiative on the Future of Nursing, Автор: Institute of Medicine
Размер книги: 4.85 Mb
Cyber Crime Investigations: Bridging the Gaps Between Security Professionals, Law Enforcement, and ProsecutorsАвтор: Anthony Reyes, Автор: Richard Brittson, Автор: Kevin O'Shea, Автор: Jim Steel, Автор:Категория: Юридические науки, Право
Размер книги: 3.21 Mb
Short Stories by Anton Pavlovich ChekhovАвтор: Anton Pavlovich Chekhov, Автор: Constance Garnett (Translator)
Размер книги: 4.85 Mb
Return to Ord MantellАвтор: Anderson Kevin J, Автор: Moesta RebeccaКатегория: fiction
Размер книги: 291 Kb
|
|
|