001.64404 / V588
Quirk, W. J.
VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE
/
.- Berlin: Springer-Verlag, 1985
.- xi,245 .
Subject Headings:
Real-Time Data Processing;
Programming Languages (Elecronic Computers);
Copy Details:
Acc. No.: A94337, Full Call No.: 001.64404 V588, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------