Using Z

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

3 downloads 148 Views 1MB Size Report

Recommend Documents

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

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

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

Mark Brandis Planetaktion Z Treibjagd im Weltraum S & C: Mik Um die Arbeit der Polizei zu vereinfachen, wird ein Com...

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