Udvidet returret til d. 31. januar 2025

Reasoning in Boolean Networks

- Logic Synthesis and Verification Using Testing Techniques

Bag om Reasoning in Boolean Networks

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780792399216
  • Indbinding:
  • Hardback
  • Sideantal:
  • 230
  • Udgivet:
  • 30. juni 1997
  • Udgave:
  • 1997
  • Størrelse:
  • 234x156x15 mm.
  • Vægt:
  • 1160 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 20. november 2024

Beskrivelse af Reasoning in Boolean Networks

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits.

Brugerbedømmelser af Reasoning in Boolean Networks



Find lignende bøger
Bogen Reasoning in Boolean Networks 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.