NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, J... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwareudvikling
  5. Matematisk datateori
  6. Datamodellering og simulering
  7. Kunstig intelligens
  8. Computere og hardware
  9. NASA Formal Methods: 17th International Symposium, NFM 2025,...

NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings

(Bog, Paperback / softback, Engelsk)
Forlag: Springer International Publishing 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 Datamodellering og simulering Kunstig intelligens Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025. The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 08-06-2025
Første udgivelsesår 2025
Serie Lecture Notes in Computer Science
Illustrationer 71 Illustrations, color; 36 Illustrations, black and white
Fagredaktør Aaron Dutle, Laura Humphrey, Laura Titolo
Originalsprog Switzerland
Sideantal 442
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 442 pages, 71 Illustrations, color; 36 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783031937057