Acronyms von A bis Z
LNCS430
-J. W de Bakker/W -P. de Röver/G. Rozenberg (Eds.): Stepwise Refinement of Distributed Systems. Models, Formalisms, Correctness, Proceedings 1989, Springer-Verlag 1990
Sie können einen Link zu dem Wort setzen

Ansicht: LNCS430