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

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, 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

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 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the 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 2014 ed.
Udgivelsesdato 28-10-2014
Første udgivelsesår 2014
Serie Programming and Software Engineering
Illustrationer 107 Illustrations, black and white; X, 287 p. 107 illus.
Fagredaktør Dimitra Giannakopoulou, Daniel Kroening
Originalsprog Switzerland
Sideantal 287
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 287 pages, 107 Illustrations, black and white; X, 287 p. 107 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319121536