De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

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.
  • 8-11 hverdage.
  • 16. januar 2025
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: