|
|
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
Только что пользователи скачали эти книги:
Методы анализа нелинейных динамических моделейАвтор: Холодниок М., Автор: Клич А., Автор: Кубичек М., Автор: Марек М.Категория: Mathematics
Размер книги: 10.50 Mb
Cognitive Poetics: Goals, Gains and Gaps (Applications of Cognitive Linguistics)Автор: Geert Brone, Автор: Jeroen Vandaele
Размер книги: 2.45 Mb
Software Language Engineering -- SLE 2010Автор: Brian Malloy, Автор: Steffen Staab, Автор: Mark van den Brand
Размер книги: 6.62 Mb
Security Protocols: 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers (Lecture Notes in Computer Science Security and Cryptology)Автор: Bruce Christianson, Автор: Bruno Crispo, Автор: James A. Malcolm, Автор: Michael Roe
Размер книги: 2.68 Mb
|
|
|