Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018,... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Kompilatorer og fortolkere
  5. Softwareudvikling
  6. Netværkssikkerhed
  7. Matematisk datateori
  8. Informationsteknologi: generelle emner
  9. Tests and Proofs: 12th International Conference, TAP 2018,...

Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, 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

Datasikkerhed Informationsteknologi: generelle emner Kompilatorer og fortolkere Matematisk datateori Netværkssikkerhed Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2018 ed.
Udgivelsesdato 03-06-2018
Første udgivelsesår 2018
Serie Programming and Software Engineering
Illustrationer 48 Illustrations, black and white; XIV, 185 p. 48 illus.
Fagredaktør Catherine Dubois, Burkhart Wolff
Originalsprog Switzerland
Sideantal 185
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 185 pages, 48 Illustrations, black and white; XIV, 185 p. 48 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319929934