Hardware and Software: Verification and Testing: 10th International Haifa Verificatio... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Programmeringssprog og scriptsprog
  5. Softwareudvikling
  6. Matematisk datateori
  7. Kunstig intelligens
  8. Hardware and Software: Verification and Testing: 10th...

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

(Bog, Paperback / softback, Engelsk)
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
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

Kunstig intelligens Matematisk datateori Programmeringssprog og scriptsprog Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2014 ed.
Udgivelsesdato 06-11-2014
Første udgivelsesår 2014
Serie Lecture Notes in Computer Science
Illustrationer 78 Illustrations, black and white; XVI, 302 p. 78 illus.
Fagredaktør Eran Yahav
Originalsprog Switzerland
Sideantal 302
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 302 pages, 78 Illustrations, black and white; XVI, 302 p. 78 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319133379