Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : Proceedings - Brossura

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

 
9780387525594: Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : Proceedings