Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : Proceedings (Lecture Notes in Computer Science) - Softcover

De Bakker, J. W.; De Roever, W. P.

 
9780387525594: Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : Proceedings (Lecture Notes in Computer Science)