Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Ekspertsystemer og vidensbaserede systemer
  5. Algoritmer og datastrukturer
  6. Softwareudvikling
  7. Matematisk datateori
  8. Datamodellering og simulering
  9. Model Checking Software: 27th International Symposium, SPIN...

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

(Bog, Paperback / softback, Engelsk)
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 refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2021
Udgivelsesdato 03-08-2021
Første udgivelsesår 2021
Serie Lecture Notes in Computer Science
Illustrationer 43 Illustrations, color; 27 Illustrations, black and white
Fagredaktør Alfons Laarman, Ana Sokolova
Originalsprog Switzerland
Sideantal 195
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 195 pages, 43 Illustrations, color; 27 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030846282