De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Complete Symbolic Simulation of SystemC Models

Complete Symbolic Simulation of SystemC Models

- Efficient Formal Verification of Finite Non-Terminating Programs

af Vladimir Herdt

indgår i BestMasters serien

Complete Symbolic Simulation of SystemC Models af Vladimir Herdt
Bag om Complete Symbolic Simulation of SystemC Models

In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783658126797
  • Indbinding:
  • Paperback
  • Sideantal:
  • 162
  • Udgivet:
  • 17. marts 2016
  • Udgave:
  • 12016
  • Størrelse:
  • 210x148x11 mm.
  • Vægt:
  • 2454 g.
  • 8-11 hverdage.
  • 21. november 2024
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.

Bag om Vladimir Herdt

Vis alle bøger af Vladimir Herdt

Beskrivelse af Complete Symbolic Simulation of SystemC Models

In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs.

Brugerbedømmelser af Complete Symbolic Simulation of SystemC Models



Andre købte også..
Find lignende bøger
Bogen Complete Symbolic Simulation of SystemC Models findes i følgende kategorier: