Numerical Software Verification

12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

AvDamien Zufferey,Majid Zamani

E-bok
Engelska, 2019

708 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

Beskrivning

This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.

The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.

The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,6 utav 5 stjärnor. Totalt antal röster:(5)

209 kr259 kr

Fredrik Backman - Mina vänner, Pocket
  • -30%

Mina vänner

Fredrik Backman

Pocket, 2026

4,0 utav 5 stjärnor. Totalt antal röster:(4)

69 kr99 kr

Elle Kennedy - Spelet, Pocket
  • -22%
Del 1

Spelet

Elle Kennedy

Pocket, 2024

4,4 utav 5 stjärnor. Totalt antal röster:(18)

69 kr89 kr