Alta reperibilità
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
- Editore:
Vieweg+Teubner Verlag
- EAN:
9783834814944
- ISBN:
3834814946
- Pagine:
- 163
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
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.
o 3 rate da € 32.19 senza interessi con 
Disponibile in 10-12 giorni
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoiRecensioni degli utenti
e condividi la tua opinione con gli altri utenti
