Using Z

Using Z Specification, Refinement, and Proof Jim Woodcock University of Oxford Jim Davies University of Oxford Copyri...
Author:  Woodcock |  Davies.

8 downloads 981 Views 1MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

Using Z Specification, Refinement, and Proof Jim Woodcock University of Oxford Jim Davies University of Oxford Copyr...

Formal Specification and Documentation using Z: A Case Study Approach Jonathan Bowen Revised 2003 FORMAL SPECIFICATI...

Front cover Using Oracle Solutions on Linux for System z Setting up VM and Linux for Oracle Database 10gR2 Setting up a...

Seit vielen Jahrtausenden tobt der Kampf zwischen den beiden mächtigen Sternenreichen Arisia und Eddore. Auf einem unvo...