| | Books 1 - 4 of 4 | Previous | Next | 
|  | | Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 2-4, 989. Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Joseph Sifakis (Editor)
Paperback, 382 Pages, Published 1990 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Alberto Sangiovanni-Vincentelli (Editor), Joseph Sifakis (Editor)
Paperback, 423 Pages, Published 2002 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Embedded Systems Design: The ARTIST Roadmap for Research and Development (Lecture Notes in Computer Science) (1st Edition)
by Bruno Bouyssounouse (Editor), Joseph Sifakis (Editor)
Paperback, 492 Pages, Published 2005 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Embedded Software: Second International Conference, Emsoft 2002, Grenoble,France, October 2002 Proceedings
by alberto; Sifakis, Joseph Sangiovanni-Vincentelli
Paperback, Published 0000 by Publisher Unknown
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 4 of 4 | Previous | Next |
|