Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, C... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Netværkskomponenter
  5. Softwareudvikling
  6. Matematisk datateori
  7. Kunstig intelligens
  8. Informationsteknologi: generelle emner
  9. Numerical Software Verification: 9th International Workshop,...

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

(Bog, Paperback / softback, Engelsk)
Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Informationsteknologi: generelle emner Kunstig intelligens Matematisk datateori Netværkskomponenter Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2017
Udgivelsesdato 17-02-2017
Første udgivelsesår 2017
Serie Theoretical Computer Science and General Issues
Illustrationer 21 Illustrations, black and white; VII, 107 p. 21 illus.
Fagredaktør Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Originalsprog Switzerland
Sideantal 107
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 107 pages, 21 Illustrations, black and white; VII, 107 p. 21 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319542911