Vi bøger
Levering: 1 - 2 hverdage
Forlænget returret til d. 31. januar 2025

Bøger af Ofer Strichman

Filter
Filter
Sorter efterSorter Populære
  • af Ofer Strichman
    408,95 kr.

  • - An Algorithmic Point of View
    af Daniel Kroening & Ofer Strichman
    592,95 - 896,95 kr.

    This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.