Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Name: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Brand: Springer Fachmedien Wiesbaden
SKU: 01782369
Price: 57.79 EUR
Availability: InStock
Author: Christian Herde
ISBN: 9783834814944

Proof Engines for the Analysis of Hybrid Discrete-continuous Systems

Christian Herde

Lingua

Inglese

Libro In brossura

Codice Libristo: 01782369

Casa editrice Springer Fachmedien Wiesbaden, febbraio 2011

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver... Descrizione completa

Codice Libristo: 01782369

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Organisches Germanium Kazuhiko Asai

In brossura

18.69 €

Das Innerste Beruhren Maike Stüven

Rigido

32.49 €

Hochdeutsche Gedichte Friedrich Stoltze

In brossura

50.89 €

Architettura di rete con indirizzamento ricorsivo Hee Kim Young Hee Kim

In brossura

28.99 €

Catálogo da flora vascular galega NIÑO RICOI

In brossura

18.49 €

Prehistorický svět v životní velikosti Dougal Dixon

Rigido

18.69 €

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.