عنوان
پدید آورنده
موضوع
رده
QA 76.54 .F64 1996
QA
76
.
54
.
F64
1996
کتابخانه
محل استقرار
0471958352
لاتين
edited by Constance Heitmeyer and Dino Mandrioli
Formal methods for real-time computing
Chichester
John Wiley
1996
xvii, 271 p.: ill., 24 cm
Trends in software, 5
مرجع به حساب نمي آيد
Includes bibliographical references and index
Real-time data processing
QA
76
.
54
.
F64
1996
عنوان
Heitmeyer, Constance.
Mandrioli, Dino.
