Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science (5930), Band 5930)

Correctness

von: Dennis Dams · Ulrich Hannemann · Martin Steffen

Taschenbuch

Details (Deutschland)

ISBN-13: 978-3-642-11511-0

ISBN-10: 3-642-11511-X

Springer · 2010