de Bakker, J W. Ed. de Roever, W P. Ed. Rozenberg, G. Ed.

Stepwise Refinement of Distributed Systems Proceedings, REX Workshop, Mook, The Netherlands, 1989 - Berlin Springer Verlag 1990 - 808 - Lecture notes in computer science ; 00430 .

3540525599


Stepwise Refinement
Distributed Systems
Models
Formalisms
Correctness.

681 LNCS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha