|
|
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
Только что пользователи скачали эти книги:
Западноевропейский доспех раннего РенессансаАвтор: Жуков К., Автор: Коровкин Д.
Размер книги: 10.13 Mb
Low-Gravity Fluid Mechanics: MathematicalАвтор: A.D. Myshkis, Автор: V.G. Babskii, Автор: N.D. Kopachevskii, Автор: L.A. Slobozhanin, Автор: A.D. Tyuptsov, Автор: R.S. Wadhwa
Размер книги: 26.61 Mb
Optical Guided-wave Chemical and Biosensors I (Springer Series on Chemical Sensors and Biosensors, Volume 7)Автор: Mohammed Zourob, Автор: Akhlesh LakhtakiaКатегория: Химия
Размер книги: 3.04 Mb
Programmation : Concepts, techniques et modèlesАвтор: Peter Van Roy, Автор: Seif Haridi
Размер книги: 2.88 Mb
|
|
|