Cover Image

Formal methods in systems engineering /

Show other versions (1)
Bibliographic Details
Other Authors: Ryan, Peter, 1957-, Sennett, C. T.
Format: Book
Language:English
Published: London ; New York : Springer-Verlag, [1993]
Subjects:
Systems software.
Systems engineering.
System design.
System analysis.
Computers > Design
Description
Physical Description:xi, 191 pages ; 24 cm.
Bibliography:Includes bibliographical references.
ISBN:3540197516 (pbk)
0387197516 (U.S.)