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

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

(Bog, Paperback / softback, Engelsk)
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

Beskrivelse

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2017
Udgivelsesdato 15-12-2017
Første udgivelsesår 2017
Serie Programming and Software Engineering
Illustrationer 69 Illustrations, black and white; XIII, 211 p. 69 illus.
Fagredaktør Andrei Paskevich, Thomas Wies
Originalsprog Switzerland
Sideantal 211
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 211 pages, 69 Illustrations, black and white; XIII, 211 p. 69 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319723075