Showing 1 - 2 of 2 Results
1.
Embedded Software Second International Conference, Emsoft 2002, Grenoble, France, October 20... by Sangiovanni-Vincentelli, Al... ISBN: 9783540443070 List Price: $77.95
2.
Automatic Verification Methods for Finite State Systems by Sifakis, J. ISBN: 9783540521488 List Price: $62.95