Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerla... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Ekspertsystemer og vidensbaserede systemer
  5. Naturligt sprog og maskinoversættelse
  6. Softwareudvikling
  7. Systemanalyse og systemdesign
  8. Kunstig intelligens
  9. Integrated Formal Methods: 16th International Conference, IFM...

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, 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 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2020
Udgivelsesdato 14-11-2020
Første udgivelsesår 2020
Serie Lecture Notes in Computer Science
Illustrationer 64 Illustrations, color; 981 Illustrations, black and white; XI, 461 p. 1045 illus., 64 illus. in color.
Fagredaktør Brijesh Dongol, Elena Troubitsyna
Originalsprog Switzerland
Sideantal 461
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 461 pages, 64 Illustrations, color; 981 Illustrations, black and white; XI, 461 p. 1045 illus., 64 i
Mål 235 x 155
ISBN-13 / EAN-13 9783030634605