1 option
Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, eds.
LIBRA QA76.38 .H94 1996
Available from offsite location
- Format:
- Book
- Series:
- Lecture notes in computer science ; 1066.
- Lecture notes in computer science
- Language:
- English
- Subjects (All):
- Hybrid computers--Congresses.
- Hybrid computers.
- Digital control systems--Congresses.
- Digital control systems.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- ix, 618 pages : illustrations ; 24 cm.
- Other Title:
- Hybrid systems 3
- Hybrid systems three
- Place of Publication:
- Berlin ; New York : Springer, [1996]
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 354061155X
- OCLC:
- 34545983
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.