Decision ProceduresPublisher: Springer Nature Year: 22/11/2016 Edition: Second ISBN: 9783662504970 Publication form: eBook: Fixed Page eTextbook (PDF)
|
329.03 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, ProceedingsPublisher: Springer, Berlin ISBN: 9783642141850 Publication form: paperback
|
Ask about the product
|
Decision Procedures: An Algorithmic Point of ViewPublisher: Springer, Berlin ISBN: 9783540741046 Publication form: hardback
|
Ask about the product
|
Efficient Decision Procedures for Validation: Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model CheckingPublisher: LAP Lambert Academic Publishing ISBN: 9783838300825 Publication form: paperback
|
Ask about the product
|
Decision Procedures: An Algorithmic Point of ViewPublisher: Springer, Berlin ISBN: 9783662570654 Publication form: paperback
|
Ask about the product
|
Decision Procedures: An Algorithmic Point of ViewPublisher: Springer, Berlin ISBN: 9783662504963 Publication form: hardback
|
Ask about the product
|