عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook27264
eng
time systems :-Formal methods for the design of real
Berlin ;New York :
: Springer,
, 2004.
Print
time data processing ; Congresses ; Computer systems ; Congresses ; Telecommunication systems ; Congresses ; Computer software ; Congresses ; -time programming ; Congresses ; Real-time control ; Congresses ; Real-Real
Bernardo, Marco ; Corradini, Flavio ;
old catalog
