Branching Programs and Binary Decision Diagrams : Theory and Applications, Ha...
156,65 €
Calling branching programs and binary decision diagrams synonyms for representations of Boolean functions, Wegener (computer science, Dortmund U., Germany) explains their nature and how they can be used in such tasks as verification, computer-aided design, model checking, and discrete mathematics.
Jetzt bei Ebay:
