Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13,2004, Revised Selected Papers, Lecture Notes in Computer Science 3542 - Theoretical Computer Science and General Issues

53,49 €
(inkl. MwSt.)
In den Warenkorb

Lieferbar innerhalb 1 - 2 Wochen

Bibliografische Daten
ISBN/EAN: 9783540278290
Sprache: Englisch
Umfang: xiii, 393 S.
Auflage: 1. Auflage 2005
Einband: kartoniertes Buch

Informationen gemäß Produktsicherheitsverordnung

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg