Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, O... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Kompilatorer og fortolkere
  5. Softwareudvikling
  6. Matematisk datateori
  7. Kunstig intelligens
  8. Algoritmer og datastrukturer
  9. Runtime Verification: 20th International Conference, RV 2020,...

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

(Bog, Paperback / softback, Engelsk)
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, 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

Algoritmer og datastrukturer Kompilatorer og fortolkere Kunstig intelligens Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2020
Udgivelsesdato 08-10-2020
Første udgivelsesår 2020
Serie Lecture Notes in Computer Science
Illustrationer 133 Illustrations, color; 1221 Illustrations, black and white; XIX, 538 p. 1354 illus., 133 illus. in color.
Fagredaktør Jyotirmoy Deshmukh, Dejan Nickovic
Originalsprog Switzerland
Sideantal 538
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 538 pages, 133 Illustrations, color; 1221 Illustrations, black and white; XIX, 538 p. 1354 illus., 1
Mål 235 x 155
ISBN-13 / EAN-13 9783030605070