Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems - Tapa blanda

Herde, Christian

9783834814944: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Tapa blanda

ISBN 10: 3834814946 ISBN 13: 9783834814944

Editorial: Vieweg+Teubner Verlag, 2011

Ver todas las copias de esta edici�n del ISBN

2 Usado

De EUR 33,12

7 Nuevo

De EUR 53,91

Rese�a del editor

Due to the growing use of more and more complex computerized systems in the safety-critical applications, the formal verification of such systems is increasingly gaining importance. Many automatic and semi-automatic schemes for hardware and software verification ultimately rely on decision procedures for discharging the proof obligations generated during the verification process. Christian Herde deals with the development of such procedures, providing 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. Although aiming at providing tool support for the verification of hybrid discrete-continuous systems, most of the techniques he describes are general purpose and have applications in many other domains, like operations research, planning, software validation, and electronic design automation.

Biograf�a del autor

Dr. Christian Herde completed his doctoral thesis under the supervision of Prof. Dr. Martin Fr�nzle at the Department of Computing Science at the University of Oldenburg, Germany.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

EditorialVieweg+Teubner Verlag
A�o de publicaci�n2011
ISBN 10 3834814946
ISBN 13 9783834814944
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de p�ginas184

Comprar usado

Condici�n: Bien

Very Good - Crisp, clean, unread...

Ver este art�culo

EUR 33,12

Convertir moneda

EUR 5,31 gastos de env�o en Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 53,91

Convertir moneda

EUR 3,53 gastos de env�o en Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Efficient Solving of Large Arithmetic Constraint Systems...

Imagen de archivo

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Herde, Christian

Publicado por Vieweg+Teubner Verlag, 2011

ISBN 10: 3834814946 ISBN 13: 9783834814944

Antiguo o usado Paperback

Librería: Midtown Scholar Bookstore, Harrisburg, PA, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized. N� de ref. del art�culo: M3834814946Z2

Contactar al vendedor

Comprar usado

EUR 33,12

Convertir moneda

Gastos de env�o: EUR 5,31

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Christian Herde

Publicado por Vieweg+Teubner Verlag, 2011

ISBN 10: 3834814946 ISBN 13: 9783834814944

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Sehr gut. Zustand: Sehr gut - Neubindung, Buchr�cken leicht geknickt und eingerissen | Seiten: 184 | Sprache: Englisch | Produktart: B�cher. N� de ref. del art�culo: 9808302/12

Contactar al vendedor

Comprar usado

EUR 5,73

Convertir moneda

Gastos de env�o: EUR 45,00

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Herde, Christian

Publicado por Vieweg+Teubner Verlag, 2011

ISBN 10: 3834814946 ISBN 13: 9783834814944

Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: ABLIING23Apr0316110070214

Contactar al vendedor

Comprar nuevo

EUR 53,91

Convertir moneda

Gastos de env�o: EUR 3,53

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Christian Herde

Publicado por Vieweg+Teubner, Vieweg+Teubner Verlag Feb 2011, 2011

ISBN 10: 3834814946 ISBN 13: 9783834814944

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Due to the growing use of more and more complex computerized systems in safety-critical applications, the formal verification of such systems is increasingly gaining importance. Many automatic and semi-automatic schemes for hardware and software verification ultimately rely on decision procedures for discharging the proof obligations generated during the verification process.Christian Herde deals with the development of such procedures, providing 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. Although aiming at providing tool support for the verification of hybrid discrete-continuous systems, most of the techniques he describes are general purpose and have applications in many other domains, like operations research, planning, software validation, and electronic design automation. 163 pp. Englisch. N� de ref. del art�culo: 9783834814944

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 23,00

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Christian Herde

Publicado por Vieweg+Teubner Verlag, 2011

ISBN 10: 3834814946 ISBN 13: 9783834814944

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - Due to the growing use of more and more complex computerized systems in safety-critical applications, the formal verification of such systems is increasingly gaining importance. Many automatic and semi-automatic schemes for hardware and software verification ultimately rely on decision procedures for discharging the proof obligations generated during the verification process.Christian Herde deals with the development of such procedures, providing 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. Although aiming at providing tool support for the verification of hybrid discrete-continuous systems, most of the techniques he describes are general purpose and have applications in many other domains, like operations research, planning, software validation, and electronic design automation. N� de ref. del art�culo: 9783834814944

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 29,37

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure: Proof Engines For The Analysis Of Hybrid Discrete-Continuous Systems

Herde, Christian; Herde, Christian

Publicado por Vieweg+Teubner, 2011

ISBN 10: 3834814946 ISBN 13: 9783834814944

Nuevo Paperback

Librería: Revaluation Books, Exeter, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: Brand New. 2011 edition. 180 pages. 8.20x5.70x0.50 inches. In Stock. N� de ref. del art�culo: x-3834814946

Contactar al vendedor

Comprar nuevo

EUR 78,34

Convertir moneda

Gastos de env�o: EUR 11,74

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Christian Herde

Publicado por Vieweg+Teubner Verlag, 2011

ISBN 10: 3834814946 ISBN 13: 9783834814944

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Dr. Christian Herde completed his doctoral thesis under the supervision of Prof. Dr. Martin Fraenzle at the Department of Computing Science at the University of Oldenburg, Germany.Christian Herde deals with the development of decision procedures as n. N� de ref. del art�culo: 5379571

Contactar al vendedor