- 5 Risultati
prezzo più basso: € 98,50, prezzo più alto: € 171,19, prezzo medio: € 129,91
1
SAT-Based Scalable Formal Verification Solutions - Malay Ganai
Ordina
da hive.co.uk
£ 84,58
(indicativi € 98,50)
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Malay Ganai:

SAT-Based Scalable Formal Verification Solutions - nuovo libro

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… Altro …

No. 9780387691671. Costi di spedizione:Instock, Despatched same working day before 3pm, GB. (EUR 0.00)
Chiudere (X)
2
SAT-Based Scalable Formal Verification Solutions - Aarti Gupta/ Malay Ganai
Ordina
da eBook.de
€ 106,99
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Aarti Gupta/ Malay Ganai:

SAT-Based Scalable Formal Verification Solutions - nuovo libro

ISBN: 9780387691671

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

Costi di spedizione:in stock, , , DE. (EUR 0.00)
Chiudere (X)
3
SAT-Based Scalable Formal Verification Solutions - Greg Midland
Ordina
da hive.co.uk
£ 90,10
(indicativi € 101,67)
Ordina
Dettagli & spedizione
Link sponsorizzato
Greg Midland:
SAT-Based Scalable Formal Verification Solutions - nuovo libro

ISBN: 9780387691671

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

No. 9780387691671. Costi di spedizione:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., Costi di spedizione aggiuntivi
Chiudere (X)
4
SAT-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
Ordina
da lehmanns.de
€ 171,19
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Malay Ganai; Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - Prima edizione

2007, ISBN: 9780387691671

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

Costi di spedizione:Download sofort lieferbar. (EUR 0.00)
Chiudere (X)
5
SAT-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
Ordina
da lehmanns.de
€ 171,19
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Malay Ganai; Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - nuovo libro

2007, ISBN: 9780387691671

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

Costi di spedizione:Download sofort lieferbar. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
SAT-Based Scalable Formal Verification Solutions
Autore:
Titolo:
ISBN:

0387691677

Informazioni dettagliate del libro - SAT-Based Scalable Formal Verification Solutions


EAN (ISBN-13): 9780387691671
ISBN (ISBN-10): 0387691677
Anno di pubblicazione: 2007
Editore: Springer US
330 Pagine
Lingua: eng/Englisch

Libro nella banca dati dal 2009-07-11T13:02:08+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-08-03T13:27:01+02:00 (Rome)
ISBN/EAN: 0387691677

ISBN - Stili di scrittura alternativi:
0-387-69167-7, 978-0-387-69167-1
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : mala gupta
Titolo del libro: scala, sat

Dati dell'editore

Autore: Malay Ganai; Aarti Gupta
Titolo: Series on Integrated Circuits and Systems; SAT-Based Scalable Formal Verification Solutions
Editore: Springer; Springer US
330 Pagine
Anno di pubblicazione: 2007-05-26
New York; NY; US
Lingua: Inglese
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;
< Per archiviare...