Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Search
Advanced search
Start Over
Share
Email
RIS file
Bookmark
Report an Issue
Verification and Control of Hybrid Systems [electronic resource] : A Symbolic Approach / by Paulo Tabuada
Author
Tabuada, Paulo
Published
Boston, MA : Springer-Verlag US, 2009.
Physical Description
volumes: digital
Additional Creators
SpringerLink (Online service)
Access Online
ezaccess.libraries.psu.edu
Full Text available online
Availability
I Want It
I Want It
Finding items...
Subject(s)
Mathematics
Computer science
System theory
Other Subject(s)
Models and Principles
Mathematical Logic and Formal Languages
Systems Theory, Control
Control
Mathematics
ISBN
9781441902245
Note
AVAILABLE ONLINE TO AUTHORIZED PSU USERS.
Part Of
Springer eBooks
View MARC record
| catkey: 5795493
