Showing 1 - 6 of 6 Results
1.
Reachability Problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-... by Finkel, Alain, Leroux, Jero... ISBN: 9783642335112 List Price: $72.00
2.
Computer Aided Verification 2001 by Berry, Gerard, Comon, Huber... ISBN: 9783540423454 List Price: $94.95
3.
Stacs 93 by Enjalbert, Patrice, Finkel,... ISBN: 9783662200612 List Price: $24.99
4.
Stacs 92 by Finkel, Alain, Jantzen, Mat... ISBN: 9783662192238 List Price: $24.99
5.
Computer Aided Verification by Berry, Gerard, Comon, Huber... ISBN: 9783662178379 List Price: $24.99
6.
Reachability Problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-... by Finkel, Alain, Leroux, Jero... ISBN: 9783642335129 List Price: $72.00