![. Ed(S): Jarvisalo, Matti; Gelder, Allen Van - Theory and Applications of Satisfiability Testing -SAT 2013 - 9783642390708 - V9783642390708 . Ed(S): Jarvisalo, Matti; Gelder, Allen Van - Theory and Applications of Satisfiability Testing -SAT 2013 - 9783642390708 - V9783642390708](/images/unavailable-full.jpg)
Stock image for illustration purposes only - book cover, edition or condition may vary.
Theory and Applications of Satisfiability Testing -SAT 2013
. Ed(S): Jarvisalo, Matti; Gelder, Allen Van
€ 66.40
FREE Delivery in Ireland
Description for Theory and Applications of Satisfiability Testing -SAT 2013
Paperback. Editor(s): Jarvisalo, Matti; Gelder, Allen van. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 453 pages, 84 black & white illustrations, biography. BIC Classification: PBW; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 694.
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
453
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
ISBN
9783642390708
SKU
V9783642390708
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Theory and Applications of Satisfiability Testing -SAT 2013