Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.).
Title:
Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.).
Publication:
New York : Springer, 1999.
Publication Date:
1999
ISBN:
9783540666240
Bibliography Note:
Includes bibliographical references.
Content Type:
text
Carrier Type:
volume
Language:
English
