Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Studiebog
Paperback version af Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure af Christian Herde

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

- Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Af
Bog E-bog
  • Format
  • Bog, paperback
  • Engelsk

Normalpris

kr. 414,95

Medlemspris

kr. 389,95
  • Du sparer kr. 25,00
  • Fri fragt
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.

Læs hele beskrivelsen
Detaljer
  • SprogEngelsk
  • Sidetal163
  • Udgivelsesdato10-02-2011
  • ISBN139783834814944
  • Forlag Vieweg+teubner Verlag
  • FormatPaperback
  • OriginalsprogTysk
Størrelse og vægt
coffee cup img
10 cm
book img
14,8 cm
21 cm

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...

Se andre, der handler om...

Hybrid systems Model-checking Satisfiability checking Formal verification Constraint solving