Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science (430), Band 430)

von: J. W. de Bakker · W.-P. de Roever · G. Rozenberg Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-52559-2 ISBN-10: 3-540-52559-9 Springer · 1990