Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness

By clibrary on Mon, 06/23/2025 - 20:11
Author

J. W. Bakker, W. -P. Roever, G. Rozenberg

Publisher

Springer

Subject

Computer Science

Year

1990

Vol/Edition

430

ISBN

9783540470359

URL
http://dx.doi.org/10.1007/3-540-52559-9