Efficient Decision Procedures for Validation

Ofer Strichman author

Format:Paperback

Publisher:LAP Lambert Academic Publishing

Published:15th May '10

Currently unavailable, and unfortunately no date known when it will be back

Efficient Decision Procedures for Validation cover

This paperback, "Efficient Decision Procedures for Validation" from Ofer Strichman, was published 15th May 2010 by LAP Lambert Academic Publishing.

ISBN: 9783838300825

Dimensions: 229mm x 152mm x 7mm

Weight: 181g

116 pages