Satisfiability Checking with Difference Constraints
Format:Paperback
Publisher:VDM Verlag
Published:10th Jun '10
Currently unavailable, and unfortunately no date known when it will be back
This paperback, "Satisfiability Checking with Difference Constraints" from Brian O'Connor, was published 10th June 2010 by VDM Verlag.
ISBN: 9783639147384
Dimensions: 229mm x 152mm x 5mm
Weight: 127g
80 pages