Produktbild
Joao (Hrsg.) Marques-Silva

Theory and Applications of Satisfiability Testing - SAT 2007

10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Buch

CHF 108.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Sakallah, Karem A. (Hrsg.)
  • ISBN: 978-3-540-72787-3
  • EAN: 9783540727873
  • Produktnummer: 31947364
  • Verlag: Springer Nature EN
  • Sprache: Englisch
  • Erscheinungsjahr: 2007
  • Seitenangabe: 388 S.
  • Masse: H23.5 cm x B15.5 cm 1'250 g
  • Reihenbandnummer: 4501
  • Gewicht: 1250
  • Sonstiges: Professional/practitioner

1 weiteres Werk von Joao (Hrsg.) Marques-Silva:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.