Research Catalog

Verification and validation of real-time software

Title: Verification and validation of real-time software / edited by W.J. Quirk.
Publication: Berlin ; New York : Springer-Verlag, c1985.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 87-10	Offsite

Additional Authors

Quirk, William J.

Description

xi, 245 p. : ill.; 25 cm.

Subjects

Bibliography (note)

Call Number

JSE 87-10

ISBN

0387151028 (U.S.)

LCCN

85140127

OCLC

Title

Verification and validation of real-time software / edited by W.J. Quirk.

Imprint

Berlin ; New York : Springer-Verlag, c1985.

Bibliography

Bibliography: p. [209]-231.

Added Author

Quirk, William J.

Research Call Number

JSE 87-10