Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science (1710), Band 1710)

Bernhard

von: Bernhard Steffen · Ernst-R??diger Olderog

Taschenbuch

ISBN-13: 978-3-540-66624-0

ISBN-10: 3-540-66624-9

Springer · 2008