Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: Proceedings (Lecture Notes in Computer Science)
by:
J. W. De Bakker
·
W. P. De Roever
Paperback
details (
USA
).
ISBN: 978-0-387-52559-4
ISBN-10: 0-387-52559-9
Springer Verlag
· 1990
