Verification, Model Checking, and Abstract Interpretation: 20th International Confere... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwaretestning
  5. Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

(Bog, Paperback / softback, Engelsk)
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Forlag: Springer Nature Switzerland 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

Softwaretestning
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2019 ed.
Udgivelsesdato 11-01-2019
Første udgivelsesår 2019
Serie Theoretical Computer Science and General Issues
Illustrationer 69 Illustrations, color; 1260 Illustrations, black and white; XVII, 602 p. 1329 illus., 69 illus. in color.
Fagredaktør Constantin Enea, Ruzica Piskac
Originalsprog Switzerland
Sideantal 602
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 602 pages, 69 Illustrations, color; 1260 Illustrations, black and white; XVII, 602 p. 1329 illus., 6
Mål 235 x 155
ISBN-13 / EAN-13 9783030112448