| | Books 1 - 5 of 5 | Previous | Next | 
|  | | Embedded Software: First International Workshop, EMSOFT 200, Tahoe City, CA, USA, October 8-0, 200. Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Thomas A. Henzinger (Editor), Christoph M. Kirsch (Editor)
Paperback, 504 Pages, Published 2001 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science) (1st Edition)
by Rajeev Alur (Editor), Thomas A. Henzinger (Editor), Eduardo D. Sontag (Editor)
Paperback, 618 Pages, Published 1996 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer Science Logic: 2 International Workshop, CSL 2007, 6th Annual Conference of the EACSL, Lausanne, Switzerland, September -5, 2007, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Jacques Duparc (Editor), Thomas A. Henzinger (Editor)
Paperback, 600 Pages, Published 2007 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 3 - August 3, 996. Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Rajeev Alur (Editor), Thomas Henzinger (Editor)
Paperback, 472 Pages, Published 1996 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 3 - 5, 998, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Thomas A. Henzinger (Editor), Shankar Sastry (Editor)
Paperback, 417 Pages, Published 1998 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 5 of 5 | Previous | Next |
|