The Spin Verification System. Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Volume 32

Gregoire, Jean-Charles, et al., eds. / American Mathematical Society 1997
203 pp., hardcover, previous owner's name to front pastedown else fine. Volumes Included: 1

ISBN: 0821806807
Subject/Keywords: computer tf3 mathematics

Item #: 1283720

$6.39

Add To Cart