Noch Fragen? 0800 / 33 82 637

Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-540-27829-0 / 978-3540278290 / 9783540278290

Verlag: Springer Berlin

Erscheinungsdatum: 08.07.2005

Seiten: 393

Auflage: 1

Zielgruppe: Research

Herausgegeben von Holger H. Hoos, David G. Mitchell

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück