عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.3185
QA
76
.
L28
Vol
.
3185
کتابخانه
محل استقرار
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures
4th : 2004 : Bertinoro, Italy
Berlin
Springer-Verlag
c2004
vi, 293 p.: ill
Lecture notes in computer science; 5813
Includes bibliographies
ISBN: 3540230688
Marco Bernardo, Flavio Corradini )eds.(
1
Congresses ، Real-time control
Congresses ، Real-time programming
Congresses ، Real-time data processing
Congresses ، Computer systems
Congresses ، Telecommunication systems
QA
76
.
L28
Vol
.
3185
AU
AU Bernardo, Marco
AU Corradini, Flavio
TI
SE
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
