John A. McDermid · 5 obras en el catálogoObrasSSoftware engineer's reference bookSoftware engineer's reference bookTTheory and Practice of RefinementTheory and Practice of RefinementSoftware engineering environmentsEError recovery techniques for fault tolerant distributed comError recovery techniques for fault tolerant distributed computer systemsFFormal Specification and Implementation Using ZFormal Specification and Implementation Using Z
EError recovery techniques for fault tolerant distributed comError recovery techniques for fault tolerant distributed computer systems
