- 5 Résultats
prix le plus bas: € 34,76, prix le plus élevé: € 162,49, prix moyen: € 73,85
1
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - Ganai, Malay, Gupta, Aarti
Commander
sur Amazon.de (Intern. Bücher)
€ 70,95
Envoi: € 3,001
CommanderLien sponsorisé
Ganai, Malay, Gupta, Aarti:

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - edition reliée, livre de poche

2007, ISBN: 9780387691664

Springer, Gebundene Ausgabe, Auflage: 2007, 360 Seiten, Publiziert: 2007-05-22T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 22587001, 1.55 kg, CAD & CAM, Grafik & Multimedia, Computer … Plus…

Gebraucht, wie neu. Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Ultimate Treasures DE
2
SAT-Based Scalable Formal Verification Solutions - Gupta, Aarti; Ganai, Malay
Commander
sur Achtung-Buecher.de
€ 162,49
Envoi: € 0,001
CommanderLien sponsorisé

Gupta, Aarti; Ganai, Malay:

SAT-Based Scalable Formal Verification Solutions - edition reliée, livre de poche

2007, ISBN: 0387691669

2007 Gebundene Ausgabe EDV / Theorie / Software-Entw. / Software Engineering, Elektrotechnik, Computer-Aided Design (CAD), algorithms; complexity; computer-aideddesign(CAD); designproce… Plus…

Frais d'envoiNo shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
SAT-Based Scalable Formal Verification Solutions (eBook Rental) - Malay Ganai; Aarti Gupta,
Commander
sur VitalSource.com
£ 29,85
(environ € 34,76)
CommanderLien sponsorisé
Malay Ganai; Aarti Gupta,:
SAT-Based Scalable Formal Verification Solutions (eBook Rental) - nouveau livre

ISBN: 9780387691664

by Malay Ganai; Aarti Gupta, PRINT ISBN: 9780387691664 E-TEXT ISBN: 9780387691671 Springer Nature eBook Other pricing structure might be available at vitalsource.com., Springer

new in stock United Kingdom. Frais d'envoiplus shipping costs., Livraison non-comprise
4
SAT-Based Scalable Formal Verification Solutions - Ganai, Malay und Aarti Gupta
Commander
sur booklooker.de
€ 60,11
Envoi: € 0,001
CommanderLien sponsorisé
Ganai, Malay und Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - livre d'occasion

2007, ISBN: 9780387691664

[PU: Springer US], Neubindung 3487105/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2007, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberweisung, International sh… Plus…

Frais d'envoiFree shipping. (EUR 0.00) Buchpark GmbH
5
SAT-Based Scalable Formal Verification Solutions - Ganai, Malay und Aarti Gupta
Commander
sur booklooker.de
€ 40,92
Envoi: € 0,001
CommanderLien sponsorisé
Ganai, Malay und Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - livre d'occasion

2007, ISBN: 9780387691664

[PU: Springer US], Neubindung 3487105/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2007, Banküberweisung, PayPal, Klarna-Sofortüberweisung, Internationaler Versand

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Informations détaillées sur le livre - SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)


EAN (ISBN-13): 9780387691664
ISBN (ISBN-10): 0387691669
Version reliée
Livre de poche
Date de parution: 2007
Editeur: Springer
330 Pages
Poids: 0,703 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-11-11T17:18:47+01:00 (Paris)
Page de détail modifiée en dernier sur 2023-08-03T13:26:57+02:00 (Paris)
ISBN/EAN: 9780387691664

ISBN - Autres types d'écriture:
0-387-69166-9, 978-0-387-69166-4
Autres types d'écriture et termes associés:
Auteur du livre: malay, mala gupta, jameson
Titre du livre: sat based scalable formal verification solutions, integrated circuits


Données de l'éditeur

Auteur: Malay Ganai; Aarti Gupta
Titre: Integrated Circuits and Systems; SAT-Based Scalable Formal Verification Solutions
Editeur: Springer; Springer US
330 Pages
Date de parution: 2007-05-22
New York; NY; US
Langue: Anglais
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
XXX, 330 p. 118 illus.

BB; Hardcover, Softcover / Informatik, EDV/Anwendungs-Software; Computer-Aided Design (CAD); Verstehen; algorithms; complexity; computer-aided design (CAD); design process; model; modeling; Computer-Aided Engineering (CAD, CAE) and Design; Electronic Circuits and Systems; Electrical and Electronic Engineering; 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

< pour archiver...