Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26,... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Ekspertsystemer og vidensbaserede systemer
  5. Softwareudvikling
  6. Matematisk datateori
  7. Formal Methods: 24th International Symposium, FM 2021, Virtual...

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

(Bog, Paperback / softback, Engelsk)
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 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

Ekspertsystemer og vidensbaserede systemer Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2021
Udgivelsesdato 10-11-2021
Første udgivelsesår 2021
Serie Lecture Notes in Computer Science
Illustrationer 159 Illustrations, color; 119 Illustrations, black and white
Fagredaktør Marieke Huisman, Corina Pasareanu, Naijun Zhan
Originalsprog Switzerland
Sideantal 800
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 800 pages, 159 Illustrations, color; 119 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030908690