Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Numerical Software Verification

Numerical Software Verification - Bog

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

indgår i Lecture Notes in Computer Science serien

indgår i Theoretical Computer Science and General Issues serien

Numerical Software Verification
Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783319542911
  • Indbinding:
  • Paperback
  • Sideantal:
  • 107
  • Udgivet:
  • 17. Februar 2017
  • Udgave:
  • 12017
  • Størrelse:
  • 155x235x6 mm.
  • Vægt:
  • 1883 g.
  • 8-11 hverdage.
  • 22. Oktober 2024
På lager

Normalpris

Medlemspris

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

Beskrivelse af 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.

Brugerbedømmelser af Numerical Software Verification



Andre købte også..
Find lignende bøger
Bogen Numerical Software 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.