- 5 resultaten
laagste prijs: € 98,50, hoogste prijs: € 171,19, gemiddelde prijs: € 129,91
1
SAT-Based Scalable Formal Verification Solutions - Malay Ganai
bestellen
bij hive.co.uk
£ 84,58
(ongeveer € 98,50)
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Malay Ganai:

SAT-Based Scalable Formal Verification Solutions - nieuw boek

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… Meer...

No. 9780387691671. Verzendingskosten:Instock, Despatched same working day before 3pm, GB. (EUR 0.00)
dichtslaan (X)
2
SAT-Based Scalable Formal Verification Solutions - Aarti Gupta/ Malay Ganai
bestellen
bij eBook.de
€ 106,99
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link

Aarti Gupta/ Malay Ganai:

SAT-Based Scalable Formal Verification Solutions - nieuw boek

ISBN: 9780387691671

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

Verzendingskosten:in stock, , , DE. (EUR 0.00)
dichtslaan (X)
3
SAT-Based Scalable Formal Verification Solutions - Greg Midland
bestellen
bij hive.co.uk
£ 90,10
(ongeveer € 101,67)
bestellen
Details en verzending
Gesponsorde link
Greg Midland:
SAT-Based Scalable Formal Verification Solutions - nieuw boek

ISBN: 9780387691671

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

No. 9780387691671. Verzendingskosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
4
SAT-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
bestellen
bij lehmanns.de
€ 171,19
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Malay Ganai; Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - eerste uitgave

2007, ISBN: 9780387691671

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

Verzendingskosten:Download sofort lieferbar. (EUR 0.00)
dichtslaan (X)
5
SAT-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
bestellen
bij lehmanns.de
€ 171,19
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Malay Ganai; Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - nieuw boek

2007, ISBN: 9780387691671

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

Verzendingskosten:Download sofort lieferbar. (EUR 0.00)
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
SAT-Based Scalable Formal Verification Solutions
auteur:
Titel:
ISBN:

9780387691671

Gedetalleerde informatie over het boek. - SAT-Based Scalable Formal Verification Solutions


EAN (ISBN-13): 9780387691671
ISBN (ISBN-10): 0387691677
Verschijningsjaar: 2007
Uitgever: Springer US
330 Bladzijden
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2009-07-11T13:02:08+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-08-03T13:27:01+02:00 (Amsterdam)
ISBN/EAN: 9780387691671

ISBN - alternatieve schrijfwijzen:
0-387-69167-7, 978-0-387-69167-1
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: mala gupta
Titel van het boek: scala, sat

Gegevens van de uitgever

Auteur: Malay Ganai; Aarti Gupta
Titel: Series on Integrated Circuits and Systems; SAT-Based Scalable Formal Verification Solutions
Uitgeverij: Springer; Springer US
330 Bladzijden
Verschijningsjaar: 2007-05-26
New York; NY; US
Taal: Engels
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;
< naar Archief...