Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 11.02 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 11.02 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Język
Angielski
Angielski
Książka
Miękka
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver...
Cały opis
Kod Libristo: 01782369
?
154 b
154 b
262.26
zł
Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-16 dni
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
/
Miękka
262.26
zł
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.
Informacje o książce
Pełna nazwa
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Autor
Christian Herde
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2011
Liczba stron
163
EAN
9783834814944
ISBN
3834814946
Kod Libristo
01782369
Wydawnictwo
Springer Fachmedien Wiesbaden
Waga
228
Wymiary
148 x 210 x 9
