Using Z: Specification Proof Refinement, Paperback Book, By: Jim Davies and J. C. P. Woodcock
Description
This book contains enough material 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.
Price history chart & currency exchange rate
Customers also viewed
![Documents Connected with the History of South Carolina. Edited by P. C. J. W. (Paperback or Softback)
Documents Connected with the History of South Carolina. Edited by P. C. J. W. (Paperback or Softback)](http://pictures.abebooks.com/isbn/9781241466619-us.jpg)
31%
$21.32
Documents Connected with the History of South Carolina. Edited by P. C. J. W. (Paperback or Softback)
abebooks.com![The Spell Book For Beginners: The Complete Guide to Using Candles, Crystals, and Herbs in Over 150 Magic Spells (Paperback or Softback)
The Spell Book For Beginners: The Complete Guide to Using Candles, Crystals, and Herbs in Over 150 Magic Spells (Paperback or Softback)](http://pictures.abebooks.com/isbn/9781737858102-us.jpg)
18%
$18.44
The Spell Book For Beginners: The Complete Guide to Using Candles, Crystals, and Herbs in Over 150 Magic Spells (Paperback or Softback)
abebooks.com![Ground-water exploration using deep Schlumberger soundings at Edwards Air Force Base. Part II Rogers Lake and north of Edwards Air Force Base / by Adel A.R. Zohdy and Robert J. Bisdorf. 1991 [
Ground-water exploration using deep Schlumberger soundings at Edwards Air Force Base. Part II Rogers Lake and north of Edwards Air Force Base / by Adel A.R. Zohdy and Robert J. Bisdorf. 1991 [](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
14%
$50.77
Ground-water exploration using deep Schlumberger soundings at Edwards Air Force Base. Part II Rogers Lake and north of Edwards Air Force Base / by Adel A.R. Zohdy and Robert J. Bisdorf. 1991 [
walmart.com![Earth: An Introduction to Physical Geology by Tarbuck, Edward J., Lutgens, Frederick K., Tasa, Dennis (2010) Paperback
Earth: An Introduction to Physical Geology by Tarbuck, Edward J., Lutgens, Frederick K., Tasa, Dennis (2010) Paperback](http://pictures.abebooks.com/isbn/9780321699039-us.jpg)
10%
$16.73
Earth: An Introduction to Physical Geology by Tarbuck, Edward J., Lutgens, Frederick K., Tasa, Dennis (2010) Paperback
abebooks.com![2023 Coffee Cat Calendar Monthly Planner - Art by Jim Christiansen: Paperback 6x9 Coffee Cats Planner With Original Art by Local Artist Jim Christians
2023 Coffee Cat Calendar Monthly Planner - Art by Jim Christiansen: Paperback 6x9 Coffee Cats Planner With Original Art by Local Artist Jim Christians](http://pictures.abebooks.com/isbn/9781387616268-us.jpg)
9%
$23.22
2023 Coffee Cat Calendar Monthly Planner - Art by Jim Christiansen: Paperback 6x9 Coffee Cats Planner With Original Art by Local Artist Jim Christians
abebooks.com![Distance Fades Between Us: Nudes After Dark (English, French and German Edition) by Tim J. Phillips (2007) Paperback
Distance Fades Between Us: Nudes After Dark (English, French and German Edition) by Tim J. Phillips (2007) Paperback](http://pictures.abebooks.com/isbn/9780955700606-us.jpg)
6%
$13.00
Distance Fades Between Us: Nudes After Dark (English, French and German Edition) by Tim J. Phillips (2007) Paperback
abebooks.com![Exploring Shamanism: Using Ancient Rites to Discover the Unlimited Healing Powers of Cosmos and Consciousness (Paperback)
Exploring Shamanism: Using Ancient Rites to Discover the Unlimited Healing Powers of Cosmos and Consciousness (Paperback)](http://pictures.abebooks.com/isbn/9781564146632-us.jpg)
1%
$18.99
Exploring Shamanism: Using Ancient Rites to Discover the Unlimited Healing Powers of Cosmos and Consciousness (Paperback)
abebooks.com![Routine maneuvers under day and night conditions using an experimental panel arrangement : the ninth of a series of reports on eye fixations of aircraft pilots / Edward L. Cole J
Routine maneuvers under day and night conditions using an experimental panel arrangement : the ninth of a series of reports on eye fixations of aircraft pilots / Edward L. Cole J](http://i5.walmartimages.com/asr/126fe2ce-e84e-4cb0-bfbc-c1951507e615.6f747377a0fafcc5c3d7d5613f0ca42d.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
1%
$36.59
Routine maneuvers under day and night conditions using an experimental panel arrangement : the ninth of a series of reports on eye fixations of aircraft pilots / Edward L. Cole J
walmart.com![Acting Cool! Using Reader's Theatre to Teach Math and Science in Your Classroom (Paperback or Softback)
Acting Cool! Using Reader's Theatre to Teach Math and Science in Your Classroom (Paperback or Softback)](http://pictures.abebooks.com/isbn/9781586831516-us.jpg)
1%
$23.79
Acting Cool! Using Reader's Theatre to Teach Math and Science in Your Classroom (Paperback or Softback)
abebooks.com![The Kamta Primer: A Practical Shamanic Guide for Using Kemetic Ritual, Magick and Spirituality for Acquiring Power (Paperback or Softback)
The Kamta Primer: A Practical Shamanic Guide for Using Kemetic Ritual, Magick and Spirituality for Acquiring Power (Paperback or Softback)](http://pictures.abebooks.com/isbn/9780985506759-us.jpg)
1%
$19.11
The Kamta Primer: A Practical Shamanic Guide for Using Kemetic Ritual, Magick and Spirituality for Acquiring Power (Paperback or Softback)
abebooks.com![Trading Volatility Using Correlation, Term Structure and Skew: Learn to Successfully Trade VIX, Uvxy, Tvix, Vxxb & Svxy (Paperback or Softback)
Trading Volatility Using Correlation, Term Structure and Skew: Learn to Successfully Trade VIX, Uvxy, Tvix, Vxxb & Svxy (Paperback or Softback)](http://pictures.abebooks.com/isbn/9789563101232-us.jpg)
1%
$13.48
Trading Volatility Using Correlation, Term Structure and Skew: Learn to Successfully Trade VIX, Uvxy, Tvix, Vxxb & Svxy (Paperback or Softback)
abebooks.com![Activator: Using Brain Science to Boost Motivation, Deepen Engagement, and Supercharge Performance (Paperback or Softback)
Activator: Using Brain Science to Boost Motivation, Deepen Engagement, and Supercharge Performance (Paperback or Softback)](http://pictures.abebooks.com/isbn/9780989471930-us.jpg)
1%
$15.41
Activator: Using Brain Science to Boost Motivation, Deepen Engagement, and Supercharge Performance (Paperback or Softback)
abebooks.com![Age-Friendly Health Systems: A Guide to Using the 4Ms While Caring for Older Adults (Paperback or Softback)
Age-Friendly Health Systems: A Guide to Using the 4Ms While Caring for Older Adults (Paperback or Softback)](http://pictures.abebooks.com/isbn/9781544527482-us.jpg)
1%
$16.96
Age-Friendly Health Systems: A Guide to Using the 4Ms While Caring for Older Adults (Paperback or Softback)
abebooks.com![The Department Chair: New Roles, Responsibilities, and Challenges (J-B ASHE Higher Education Report Series (AEHE))
The Department Chair: New Roles, Responsibilities, and Challenges (J-B ASHE Higher Education Report Series (AEHE))](http://pictures.abebooks.com/isbn/9781878380227-us.jpg)
1%
$120.60
The Department Chair: New Roles, Responsibilities, and Challenges (J-B ASHE Higher Education Report Series (AEHE))
abebooks.com![Introduction to United States International Taxation (Introduction to Law Series) [Paperback] McDaniel, Paul R.; Ault, Hugh J. and Repetti, James R.
Introduction to United States International Taxation (Introduction to Law Series) [Paperback] McDaniel, Paul R.; Ault, Hugh J. and Repetti, James R.](http://pictures.abebooks.com/isbn/9780735557321-us.jpg)
1%
$24.99
Introduction to United States International Taxation (Introduction to Law Series) [Paperback] McDaniel, Paul R.; Ault, Hugh J. and Repetti, James R.
abebooks.com![Ego, Authority, Failure: Using Emotional Intelligence like a Hostage Negotiator to Succeed as a Leader - 2nd Edition (Paperback or Softback)
Ego, Authority, Failure: Using Emotional Intelligence like a Hostage Negotiator to Succeed as a Leader - 2nd Edition (Paperback or Softback)](http://pictures.abebooks.com/isbn/9781544526843-us.jpg)
1%
$14.75
Ego, Authority, Failure: Using Emotional Intelligence like a Hostage Negotiator to Succeed as a Leader - 2nd Edition (Paperback or Softback)
abebooks.com![Pro Html5 Games: Learn to Build Your Own Games Using Html5 and JavaScript (Paperback or Softback)
Pro Html5 Games: Learn to Build Your Own Games Using Html5 and JavaScript (Paperback or Softback)](http://pictures.abebooks.com/isbn/9781484229095-us.jpg)
1%
$50.77
Pro Html5 Games: Learn to Build Your Own Games Using Html5 and JavaScript (Paperback or Softback)
abebooks.com![The Stolen Pinkerton Reports of the Colonel Albert J. Fountain Murder Investigation (Paperback or Softback)
The Stolen Pinkerton Reports of the Colonel Albert J. Fountain Murder Investigation (Paperback or Softback)](http://pictures.abebooks.com/isbn/9780982870969-us.jpg)
1%
$21.27
The Stolen Pinkerton Reports of the Colonel Albert J. Fountain Murder Investigation (Paperback or Softback)
abebooks.com![Chronicles of the End Times: Using an Ancient Reading Method to Better Understand the End of the Age (Paperback or Softback)
Chronicles of the End Times: Using an Ancient Reading Method to Better Understand the End of the Age (Paperback or Softback)](http://pictures.abebooks.com/isbn/9781973635086-us.jpg)
1%
$31.57
Chronicles of the End Times: Using an Ancient Reading Method to Better Understand the End of the Age (Paperback or Softback)
abebooks.com![Believing in Boundaries: Using biblical teaching to understand and establish healthy modern boundaries (Paperback or Softback)
Believing in Boundaries: Using biblical teaching to understand and establish healthy modern boundaries (Paperback or Softback)](http://pictures.abebooks.com/isbn/9781958441008-us.jpg)
1%
$12.83
Believing in Boundaries: Using biblical teaching to understand and establish healthy modern boundaries (Paperback or Softback)
abebooks.com![Foxwell NT1009 OBD2 Automotive Scanner ECU Coding All System 35 Reset Bidirectional OBD2 Car Diagnostic Tools 3 Years Free Updat
Foxwell NT1009 OBD2 Automotive Scanner ECU Coding All System 35 Reset Bidirectional OBD2 Car Diagnostic Tools 3 Years Free Updat](http://ae01.alicdn.com/kf/Sc35cba5423414819bfcde9762b35db7ff.jpg)
-1%
1%
$539.40
Foxwell NT1009 OBD2 Automotive Scanner ECU Coding All System 35 Reset Bidirectional OBD2 Car Diagnostic Tools 3 Years Free Updat
aliexpress.com![2 шт. автостайлинг автомобильные Внешние детали наполнитель крышка топливного бака газовый колпачок A0004700405 для Benz Actros грузовик с ключом
2 шт. автостайлинг автомобильные Внешние детали наполнитель крышка топливного бака газовый колпачок A0004700405 для Benz Actros грузовик с ключом](http://ae04.alicdn.com/kf/S83f9f33c5a554fdc8367d2ba67d6274ds.jpg)
1%
$23.17
2 шт. автостайлинг автомобильные Внешние детали наполнитель крышка топливного бака газовый колпачок A0004700405 для Benz Actros грузовик с ключом
aliexpress.ru