004.33 / R229
Real-time systems
/ specification, verification and analysis
.- Prentice-Hall International, London, 1996
.- xiv, 278p..
ISBN: 0134552970
Subject Headings:
Real-Time Control;
Author Added Entry:
Mathai Joseph, ed.;
Copy Details:
Acc. No.: A127023, Full Call No.: 004.33 R229, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------