Verified Software. Theories, Tools, and Experiments: 8th International Conference, VS... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwareudvikling
  5. Matematisk datateori
  6. Kunstig intelligens
  7. Kompilatorer og fortolkere
  8. Programmering / softwareudvikling
  9. Verified Software. Theories, Tools, and Experiments: 8th...

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

(Bog, Paperback / softback, Engelsk)
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 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

Kompilatorer og fortolkere Kunstig intelligens Matematisk datateori Programmering / softwareudvikling Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2016
Udgivelsesdato 08-11-2016
Første udgivelsesår 2016
Serie Lecture Notes in Computer Science
Illustrationer 36 Illustrations, black and white; XIV, 199 p. 36 illus.
Fagredaktør Sandrine Blazy, Marsha Chechik
Originalsprog Switzerland
Sideantal 199
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 199 pages, 36 Illustrations, black and white; XIV, 199 p. 36 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319488684