Theory and Applications of Satisfiability Testing - Sat 2014: 17th International Conference, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Sc - Carsten Sinz - Books - Springer International Publishing AG - 9783319092836 - August 4, 2014
In case cover and title do not match, the title is correct

Theory and Applications of Satisfiability Testing - Sat 2014: 17th International Conference, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Sc

Price
$ 55.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 1 - 7
Add to your iMusic wish list

474 pages, 77 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 4, 2014
ISBN13 9783319092836
Publishers Springer International Publishing AG
Pages 474
Dimensions 155 × 235 × 24 mm   ·   662 g
Language German  
Editor Egly, Uwe
Editor Sinz, Carsten

Mere med samme udgiver