Correct System Design: Recent Insights and Advances: 1710 (Lecture Notes in Computer Science)
by Bernhard Steffen,Ernst-R??diger Olderog
ISBN 13: 9783540666240
Format: Paperback (436 pages) Publisher: Springer Published: 22 Sep 1999
Save for later