Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA... (Bog, Paperback / softback, Engelsk)

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

(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 Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2020
Udgivelsesdato 16-07-2020
Første udgivelsesår 2020
Serie Lecture Notes in Computer Science
Illustrationer 117 Illustrations, color; 499 Illustrations, black and white; XVII, 669 p. 616 illus., 117 illus. in color.
Fagredaktør Shuvendu K. Lahiri, Chao Wang
Originalsprog Switzerland
Sideantal 669
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 669 pages, 117 Illustrations, color; 499 Illustrations, black and white; XVII, 669 p. 616 illus., 11
Mål 235 x 155
ISBN-13 / EAN-13 9783030532871