<--- Back to Details
First PageDocument Content
Fault-tolerant computer systems / Peer to Peer Remote Copy / Replication / Data consistency / Mirror / Extended Remote Copy / IBM Tivoli Storage Productivity Center / Computing / IBM Global Mirror / FlashCopy
Date: 2013-04-10 14:31:07
Fault-tolerant computer systems
Peer to Peer Remote Copy
Replication
Data consistency
Mirror
Extended Remote Copy
IBM Tivoli Storage Productivity Center
Computing
IBM Global Mirror
FlashCopy

Add to Reading List

Source URL: www-03.ibm.com

Download Document from Source Website

File Size: 757,41 KB

Share Document on Facebook

Similar Documents

Software / Proof assistants / Computing / Logic in computer science / JEdit / Isabelle / Standard ML / Plug-in / Selection / Logic for Computable Functions / HOL / Isabel

PDF Document

DocID: 1xVXo - View Document

Algebra / Abstract algebra / Mathematics / Semigroup theory / Algebraic structures / Monoid / Semigroup / Inverse element / Constructible universe / Ordinal number / Variety of finite semigroups / Special classes of semigroups

PDF Document

DocID: 1xVC6 - View Document

Mathematical logic / Logic / Mathematics / Automated theorem proving / Proof theory / Logic in computer science / Proof assistants / Type theory / Isabelle / Mathematical proof / Automated reasoning / Proof

PDF Document

DocID: 1xVrz - View Document

Type theory / Theoretical computer science / Proof assistants / Mathematical logic / Programming language theory / Formal methods / Lambda calculus / Logic in computer science / Isabelle / HOL / HindleyMilner type system / Automated theorem proving

Tobias Nipkow Programming and Proving in Isabelle/HOL le l

DocID: 1xV5d - View Document

Mathematical logic / Logic / Proof theory / Mathematics / Proof assistants / Logic in computer science / Type theory / Substructural logic / Sequent / First-order logic / Isabelle / Higher-order logic

PDF Document

DocID: 1xV2k - View Document