Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, ... (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. Programmering / softwareudvikling
  9. Tests and Proofs: 8th International Conference, TAP 2014, Held...

Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

(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

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

Beskrivelse

This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2014 ed.
Udgivelsesdato 04-08-2014
Første udgivelsesår 2014
Serie Programming and Software Engineering
Illustrationer 76 Illustrations, black and white; XII, 214 p. 76 illus.
Fagredaktør Martina Seidl, Nikolai Tillmann
Originalsprog Switzerland
Sideantal 214
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 214 pages, 76 Illustrations, black and white; XII, 214 p. 76 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319090986