FFormal Specification and Implementation Using ZFormal Specification and Implementation Using Zde John A. McDermidEdiciones (1)Formal Specification and Implementation Using Z (1993)Prentice Hall · inglés · ISBN 9780133263800Más obras de John A. McDermidSSoftware engineer's reference bookSoftware engineer's reference bookTTheory and Practice of RefinementTheory and Practice of Refinement
EError recovery techniques for fault tolerant distributed comError recovery techniques for fault tolerant distributed computer systems
