Udvidet returret til d. 31. januar 2025

Runtime Verification - Bog

- 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

Bag om Runtime Verification

The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783319469812
  • Indbinding:
  • Paperback
  • Sideantal:
  • 512
  • Udgivet:
  • 20. september 2016
  • Udgave:
  • 12016
  • Størrelse:
  • 155x235x27 mm.
  • Vægt:
  • 8015 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 Runtime Verification

The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.

Brugerbedømmelser af Runtime Verification



Find lignende bøger
Bogen Runtime Verification 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.