Verification, Model Checking, and Abstract Interpretation: 21st International Confere... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Algoritmer og datastrukturer
  5. Softwareudvikling
  6. Dataarkitektur og logisk design
  7. Kunstig intelligens
  8. Datakommunikation og computernetværk
  9. Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

(Bog, Paperback / softback, Engelsk)
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Forlag: Springer Nature Switzerland AG

Bemærk: Kan 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 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2020 ed.
Udgivelsesdato 07-02-2020
Første udgivelsesår 2020
Serie Lecture Notes in Computer Science
Illustrationer 63 Illustrations, color; 918 Illustrations, black and white; XIV, 471 p. 981 illus., 63 illus. in color.
Fagredaktør Dirk Beyer, Damien Zufferey
Originalsprog Switzerland
Sideantal 471
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 471 pages, 63 Illustrations, color; 918 Illustrations, black and white; XIV, 471 p. 981 illus., 63 i
Mål 155 x 234 x 29
ISBN-13 / EAN-13 9783030393212