Markedets billigste bøger
Levering: 1 - 2 hverdage

SAT-Based Scalable Formal Verification Solutions

Bag om SAT-Based Scalable Formal Verification Solutions

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780387691664
  • Indbinding:
  • Hardback
  • Sideantal:
  • 330
  • Udgivet:
  • 22. Maj 2007
  • Udgave:
  • 2007
  • Størrelse:
  • 234x156x20 mm.
  • Vægt:
  • 705 g.
  Gratis fragt
Leveringstid: 2-3 uger
Forventet levering: 2. Juli 2024

Beskrivelse af SAT-Based Scalable Formal Verification Solutions

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Brugerbedømmelser af SAT-Based Scalable Formal Verification Solutions



Find lignende bøger
Bogen SAT-Based Scalable Formal Verification Solutions findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.