Utvidet returrett til 31. januar 2025

Bøker av Ofer Strichman

Filter
Filter
Sorter etterSorter Populære
  • - An Algorithmic Point of View
    av Daniel Kroening & Ofer Strichman
    638 - 1 070,-

    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.

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.