Vieweg teubner verlag 2 10 2011 (1 risultati)

Casa editrice:

Perfeziona con la Ricerca avanzata

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous (Paperback or Softback)
Herde, Christian
Lingua: Inglese
Editore: Vieweg+teubner Verlag 2/10/2011, 2011
3834814946 / 9783834814944
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 59,95
Spedizione gratuita
Spedito in U.S.A.
Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous. Book.