Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing - Bog

- 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

indgår i Lecture Notes in Computer Science serien

indgår i Programming and Software Engineering serien

Hardware and Software: Verification and Testing
Bag om Hardware and Software: Verification and Testing

The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642192364
  • Indbinding:
  • Paperback
  • Sideantal:
  • 169
  • Udgivet:
  • 10. februar 2011
  • Udgave:
  • 2011
  • Størrelse:
  • 235x155x10 mm.
  • Vægt:
  • 273 g.
  • 8-11 hverdage.
  • 2. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Hardware and Software: Verification and Testing

The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).

Brugerbedømmelser af Hardware and Software: Verification and Testing



Andre købte også..
Find lignende bøger
Bogen Hardware and Software: Verification and Testing 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.