Noch Fragen? 0800 / 33 82 637

Theory and Applications of Satisfiability Testing - SAT 2010

13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-642-14185-0 / 978-3642141850 / 9783642141850

Verlag: Springer Berlin

Erscheinungsdatum: 30.06.2010

Seiten: 400

Auflage: 1

Zielgruppe: Research

Herausgegeben von Stefan Szeider, Ofer Strichman

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück