Verification, Model Checking, and Abstract Interpretation: 19th International Confere... (Bog, Paperback / softback, Engelsk)

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

(Bog, Paperback / softback, Engelsk)

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2018
Udgivelsesdato 10-01-2018
Første udgivelsesår 2018
Serie Theoretical Computer Science and General Issues
Illustrationer 103 Illustrations, black and white; XVIII, 540 p. 103 illus.
Fagredaktør Isil Dillig, Jens Palsberg
Originalsprog Switzerland
Sideantal 540
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 540 pages, 103 Illustrations, black and white; XVIII, 540 p. 103 illus.
Mål 250 x 243 x 35
ISBN-13 / EAN-13 9783319737201