NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Kompilatorer og fortolkere
  5. Softwareudvikling
  6. Matematisk datateori
  7. Datamodellering og simulering
  8. Kunstig intelligens
  9. NASA Formal Methods: 11th International Symposium, NFM 2019,...

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

(Bog, Paperback / softback, Engelsk)
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, 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 Datamodellering og simulering Kompilatorer og fortolkere Kunstig intelligens Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2019 ed.
Udgivelsesdato 28-05-2019
Første udgivelsesår 2019
Serie Programming and Software Engineering
Illustrationer 58 Illustrations, color; 314 Illustrations, black and white; XXI, 392 p. 372 illus., 58 illus. in color.
Fagredaktør Julia M. Badger, Kristin Yvonne Rozier
Originalsprog Switzerland
Sideantal 392
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 392 pages, 58 Illustrations, color; 314 Illustrations, black and white; XXI, 392 p. 372 illus., 58 i
Mål 235 x 155
ISBN-13 / EAN-13 9783030206512