- 5 Resultados
precio mínimo: € 98,50, precio máximo: € 171,19, precio promedio: € 129,91
1
SAT-Based Scalable Formal Verification Solutions - Malay Ganai
Pedir
por hive.co.uk
£ 84,58
(aprox. € 98,50)
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Malay Ganai:

SAT-Based Scalable Formal Verification Solutions - libro nuevo

ISBN: 9780387691671

Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verificat… Más…

No. 9780387691671. Gastos de envío:Instock, Despatched same working day before 3pm, GB. (EUR 0.00)
cerrar (X)
2
SAT-Based Scalable Formal Verification Solutions - Aarti Gupta/ Malay Ganai
Pedir
por eBook.de
€ 106,99
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado

Aarti Gupta/ Malay Ganai:

SAT-Based Scalable Formal Verification Solutions - libro nuevo

ISBN: 9780387691671

SAT-Based Scalable Formal Verification Solutions: ab 106.99 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH

Gastos de envío:in stock, , , DE. (EUR 0.00)
cerrar (X)
3
SAT-Based Scalable Formal Verification Solutions - Greg Midland
Pedir
por hive.co.uk
£ 90,10
(aprox. € 101,67)
Pedir
Detalles y envío
Enlace patrocinado
Greg Midland:
SAT-Based Scalable Formal Verification Solutions - libro nuevo

ISBN: 9780387691671

; EPUB; Scientific, Technical and Medical > Electronics & communications engineering, Grand Central Publishing

No. 9780387691671. Gastos de envío:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., más gastos de envío
cerrar (X)
4
SAT-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
Pedir
por lehmanns.de
€ 171,19
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Malay Ganai; Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - Primera edición

2007, ISBN: 9780387691671

eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2007

Gastos de envío:Download sofort lieferbar. (EUR 0.00)
cerrar (X)
5
SAT-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
Pedir
por lehmanns.de
€ 171,19
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Malay Ganai; Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - libro nuevo

2007, ISBN: 9780387691671

eBooks, eBook Download (PDF), 2007, [PU: Springer US], Springer US, 2007

Gastos de envío:Download sofort lieferbar. (EUR 0.00)
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
SAT-Based Scalable Formal Verification Solutions
Autor:
Título:
ISBN:

0387691677

Detalles del libro - SAT-Based Scalable Formal Verification Solutions


EAN (ISBN-13): 9780387691671
ISBN (ISBN-10): 0387691677
Año de publicación: 2007
Editorial: Springer US
330 Páginas
Idioma: eng/Englisch

Libro en la base de datos desde 2009-07-11T13:02:08+02:00 (Madrid)
Página de detalles modificada por última vez el 2023-08-03T13:27:01+02:00 (Madrid)
ISBN/EAN: 0387691677

ISBN - escritura alterna:
0-387-69167-7, 978-0-387-69167-1
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: mala gupta
Título del libro: scala, sat

Datos del la editorial

Autor: Malay Ganai; Aarti Gupta
Título: Series on Integrated Circuits and Systems; SAT-Based Scalable Formal Verification Solutions
Editorial: Springer; Springer US
330 Páginas
Año de publicación: 2007-05-26
New York; NY; US
Idioma: Inglés
106,99 € (DE)
110,00 € (AT)
130,00 CHF (CH)
Available
XXX, 330 p. 118 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Anwendungs-Software; Computer-Aided Design (CAD); Verstehen; algorithms; complexity; computer-aided design (CAD); design process; model; modeling; C; Computer-Aided Engineering (CAD, CAE) and Design; Electronic Circuits and Systems; Electrical and Electronic Engineering; Computer Science; Schaltkreise und Komponenten (Bauteile); Elektrotechnik; BC

Design Verification Challenges.- Design Verification Challenges.- Background.- Basic Infrastructure.- Efficient Boolean Representation.- Hybrid DPLL-Style SAT Solver.- Falsification.- SAT-Based Bounded Model Checking.- Distributed SAT-Based BMC.- Efficient Memory Modeling in BMC.- BMC for Multi-Clock Systems.- Proof Methods.- Proof by Induction.- Unbounded Model Checking.- Abstraction/Refinement.- Proof-Based Iterative Abstraction.- Verification Procedure.- SAT-Based Verification Framework.- Synthesis for Verification.
Describes SAT-based model checking approaches and gives engineering details on what makes model checking practical Techniques covered can be synergistically combined into a scalabe solution Focuses on engineering design and not mathematics Includes supplementary material: sn.pub/extras;
< para archivar...