Verification, Model Checking, and Abstract Interpretation: 22nd International Confere... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Ekspertsystemer og vidensbaserede systemer
  5. Naturligt sprog og maskinoversættelse
  6. Softwareudvikling
  7. Matematisk datateori
  8. Computere og hardware
  9. Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings

(Bog, Paperback / softback, Engelsk)
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, 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

Beskrivelse

This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2021
Udgivelsesdato 12-01-2021
Første udgivelsesår 2021
Serie Theoretical Computer Science and General Issues
Illustrationer 108 Illustrations, color; 104 Illustrations, black and white; XV, 604 p. 212 illus., 108 illus. in color.
Fagredaktør Fritz Henglein, Sharon Shoham, Yakir Vizel
Originalsprog Switzerland
Sideantal 604
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 604 pages, 108 Illustrations, color; 104 Illustrations, black and white; XV, 604 p. 212 illus., 108
Mål 235 x 155
ISBN-13 / EAN-13 9783030670665