Correct system design:recent insights and advances

Saved in:
Bibliographic Details
Group Author: Steffen Bernhard; Olderog E.-R
Published: Springer,
Publisher Address: New York
Publication Dates: 1999.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1710
Subjects:
Carrier Form: xiv, 415 p.: ill. ; 24 cm.
ISBN: 3540666249 (softcover)
Index Number: TP302
CLC: TP302.1
TP302.7
Call Number: TP302.1/C824
Contents: Includes bibliographical references.