Utvidet returrett til 31. januar 2025

Numerical Software Verification

- 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Om Numerical Software Verification

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783319542911
  • Bindende:
  • Paperback
  • Sider:
  • 107
  • Utgitt:
  • 17. februar 2017
  • Utgave:
  • 12017
  • Dimensjoner:
  • 155x235x6 mm.
  • Vekt:
  • 1883 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

Beskrivelse av Numerical Software Verification

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.

Brukervurderinger av Numerical Software Verification



Finn lignende bøker
Boken Numerical Software Verification finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.