JavaScript seems to be disabled in your browser. For the best experience on our site, be sure to turn on Javascript in your browser.

Home
Reihe: Texts in Theoretical Computer Science. An EATCS Series

Reihe: Texts in Theoretical Computer Science. An EATCS Series

Decision Procedures

An Algorithmic Point of View

Daniel Kroening, Ofer Strichman

Hardcover | Springer Berlin, 2008

Lieferung in 7-14 Werktagen

€ 71,49

Filtern nach

Kategorie

Informatik, EDV

Informatik 1