Buy Used and New Matti Jarvisalo Books

Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings: 7962 (Lecture Notes in Computer Science)

by Matti Jarvisalo,Allen Van Gelder

ISBN 13: 9783642390708

Format: Paperback (456 pages)
Publisher: Springer
Published: 19 Jul 2013

Save for later