ページに戻る

Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference, SAT 2009, Proceedings (Lecture Notes in Computer Science) <Vol. 5584>

Kullmann, O. (EDT)
192.27 SGD
会員価格
173.05
English
Publisher
Springer
Publication Date
Jul 2009
ISBN
9783642027765
Pages
540
Item Type
Book
Format
Paperback

Unavailable

This product is currently out of stock. Please check back later.

Discount is applied at checkout.

Recently Viewed Items

Related Products