Tell your friends about this item:
Hybrid Systems: Verification and Control - Lecture Notes in Computer Science
Rajeev Alur
Price
S$ 166
Ordered from remote warehouse
Expected delivery Feb 26 - Mar 11
Our customers say:
Add to your iMusic wish list
Hybrid Systems: Verification and Control - Lecture Notes in Computer Science
Rajeev Alur
Documents the outcome of the DIMACS/SYON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, USA, in October 1995. The 48 revised full papers, selected from the proceedings, present current developments, with contributions from leading experts.
619 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | April 24, 1996 |
| ISBN13 | 9783540611554 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 619 |
| Dimensions | 156 × 234 × 32 mm · 875 g |
| Editor | Alur, Rajeev |
| Editor | Henziger, T.a. |
| Editor | Sontag, Eduardo D. |
![Cover for Rajeev Alur · Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/429/9783540223429.jpg?rajeev-alur-2004-computer-aided-verification-16th-international-conference-cav-2004-boston-ma-usa-july-13-17-2004-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1611681129)