Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

Stepwise Refinement of Distributed Systems - 1990 - Springer Berlin Heidelberg 1990 - Lecture Notes in Computer Science .

9783540470359


Computer Science