Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS ... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Kompilatorer og fortolkere
  5. Matematisk datateori
  6. Kunstig intelligens
  7. Computere og hardware
  8. Formal Methods for Industrial Critical Systems: 26th...

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

(Bog, Paperback / softback, Engelsk)
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–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

Computere og hardware Kompilatorer og fortolkere Kunstig intelligens Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2021
Udgivelsesdato 10-08-2021
Første udgivelsesår 2021
Serie Lecture Notes in Computer Science
Illustrationer 23 Illustrations, black and white
Fagredaktør Alberto Lluch Lafuente, Anastasia Mavridou
Originalsprog Switzerland
Sideantal 249
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 249 pages, 23 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030852474