1.
Modeling and Verification of Parallel Processes 4th Summer School, Movep 2000, Nantes, Franc...
by Cassez, Franck
ISBN: 9783540427872
List Price: $52.95
2.
Automated Technology for Verification and Analysis : 12th International Symposium, Atva 2014...
by Cassez, Franck, Raskin, Jea...
ISBN: 9783319119373
List Price: $24.99
OUT OF STOCK
See Availability on Amazon3.
Modeling and Verification of Parallel Processes
by Cassez, Franck, Jard, Claud...
ISBN: 9783662194003
List Price: $24.99