Formal Methods and Software Engineering: 22nd International Conference on Formal Engi... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Naturligt sprog og maskinoversættelse
  5. Matematisk datateori
  6. Kunstig intelligens
  7. Kompilatorer og fortolkere
  8. Softwareudvikling
  9. Formal Methods and Software Engineering: 22nd International...

Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

(Bog, Paperback / softback, Engelsk)
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 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

Beskrivelse

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. They also represent the recent development in the use and development of formal engineering methods for software and system development.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2020
Udgivelsesdato 19-12-2020
Første udgivelsesår 2020
Serie Lecture Notes in Computer Science
Illustrationer 48 Illustrations, color; 50 Illustrations, black and white
Fagredaktør Shang-Wei Lin, Zhe Hou, Brendan Mahony
Originalsprog Switzerland
Sideantal 335
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 335 pages, 48 Illustrations, color; 50 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030634056