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
5.
Computer Aided Verification
by Berry, Gerard, Comon, Huber...
ISBN: 9783662178379
List Price: $24.99
OUT OF STOCK
See Availability on Amazon6.
Reachability Problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-...
by Finkel, Alain, Leroux, Jero...
ISBN: 9783642335129
List Price: $72.00