Research Catalog

Hybrid systems III : verification and control

Title
  1. Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henziner, Eduardo D. Sontag, eds.
Published by
  1. Berlin ; New York : Springer, c1996.

Items in the library and off-site

Filter by

Displaying 1 item

StatusFormatAccessCall numberItem location
Status
Request for on-site useRequest scan
How do I pick up this item and when will it be ready?
FormatTextAccessRequest in advanceCall numberJSE 96-1309Item locationOffsite

Details

Additional authors
  1. Alur, Rajeev, 1966-
  2. Henzinger, T. A. (Thomas A.)
  3. Sontag, Eduardo D.
Description
  1. ix, 618 p. : ill.; 24 cm.
Series statement
  1. Lecture notes in computer science ; 1066
Alternative title
  1. Hybrid systems 3
  2. Hybrid systems three
Subject
  1. Hybrid computers > Congresses
  2. Digital control systems > Congresses
Call number
  1. JSE 96-1309
Bibliography (note)
  1. Includes bibliographical references and index.
Title
  1. Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henziner, Eduardo D. Sontag, eds.
Imprint
  1. Berlin ; New York : Springer, c1996.
Series
  1. Lecture notes in computer science ; 1066
Bibliography
  1. Includes bibliographical references and index.
Added author
  1. Alur, Rajeev, 1966-
  2. Henzinger, T. A. (Thomas A.)
  3. Sontag, Eduardo D.
LCCN
  1. 96016989
ISBN
  1. 354061155X (pbk. : alk. paper)
Research call number
  1. JSE 96-1309
View in legacy catalog