Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX
121,58 €
State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.
Jetzt bei Ebay:
