عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1066
QA
76
.
L28
Vol
.
1066
کتابخانه
محل استقرار
Hybrid systems III : verification and control
Berlin
Springer-Verlag
1996
ix, 618 p. : ill., tables
Lecture notes in computer science; 6601
Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, 22-25, 1995 at Rutgers University, New Brunswick, New Jersey
Includes bibliographies
ISBN: 354061155X
Rajeev Alur ... ]et al.[, )eds(
1
Congresses ، Hybrid computers
Congresses ، Digital control systems
QA
76
.
L28
Vol
.
1066
CA
629
.
8/9
TI
AU Alur, Rajeev, 1966-
TI Verification and control
TI Hybrid systems three
TI Hybrid systems 3
SE
CO DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems 1995: New Brunswick, New Jersey
