SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - gebonden uitgave, pocketboek
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 … Meer...
Amazon.de (Intern... Ultimate Treasures DE Gebraucht, wie neu. Verzendingskosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2007, ISBN: 0387691669
2007 Gebundene Ausgabe EDV / Theorie / Software-Entw. / Software Engineering, Elektrotechnik, Computer-Aided Design (CAD), algorithms; complexity; computer-aideddesign(CAD); designproce… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:No shipping costs within Germany. (EUR 0.00) Details... |
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
VitalSource.com new in stock United Kingdom. Verzendingskosten:plus shipping costs., exclusief verzendingskosten Details... |
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… Meer...
booklooker.de |
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
booklooker.de |
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - gebonden uitgave, pocketboek
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 … Meer...
Gupta, Aarti; Ganai, Malay:
SAT-Based Scalable Formal Verification Solutions - gebonden uitgave, pocketboek2007, ISBN: 0387691669
2007 Gebundene Ausgabe EDV / Theorie / Software-Entw. / Software Engineering, Elektrotechnik, Computer-Aided Design (CAD), algorithms; complexity; computer-aideddesign(CAD); designproce… Meer...
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
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… Meer...
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
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
EAN (ISBN-13): 9780387691664
ISBN (ISBN-10): 0387691669
Gebonden uitgave
pocket book
Verschijningsjaar: 2007
Uitgever: Springer
330 Bladzijden
Gewicht: 0,703 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2007-11-11T17:18:47+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-08-03T13:26:57+02:00 (Amsterdam)
ISBN/EAN: 0387691669
ISBN - alternatieve schrijfwijzen:
0-387-69166-9, 978-0-387-69166-4
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: malay, mala gupta, jameson
Titel van het boek: sat based scalable formal verification solutions, integrated circuits
Gegevens van de uitgever
Auteur: Malay Ganai; Aarti Gupta
Titel: Integrated Circuits and Systems; SAT-Based Scalable Formal Verification Solutions
Uitgeverij: Springer; Springer US
330 Bladzijden
Verschijningsjaar: 2007-05-22
New York; NY; US
Taal: Engels
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
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9781441943415 SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) (Ganai, Malay)
- 9781441943415 SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) (Ganai, Malay)
- 9780387691671 SAT-Based Scalable Formal Verification Solutions (Malay Ganai)
- 9780387517568 SAT-Based Scalable Formal Verification Solutions (Ganai, Malay; Gupta, Aarti)
- 9780071457446 Harrison's Endocrinology (J. Jameson,Dennis Kasper,Anthony Fauci,Eugene Braunwald,Dan Longo,Stephen Hauser)
< naar Archief...