1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwareudvikling
  5. Matematisk datateori
  6. Systemanalyse og systemdesign
  7. Kunstig intelligens
  8. Leveraging Applications of Formal Methods, Verification and...

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

(Bog, Paperback / softback, Engelsk)
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Forlag: Springer Nature Switzerland AG

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Kunstig intelligens Matematisk datateori Softwareudvikling Systemanalyse og systemdesign
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2020
Udgivelsesdato 27-10-2020
Første udgivelsesår 2020
Serie Lecture Notes in Computer Science
Illustrationer 658 Illustrations, color; 133 Illustrations, black and white
Fagredaktør Tiziana Margaria, Bernhard Steffen
Originalsprog Switzerland
Sideantal 544
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 544 pages, 658 Illustrations, color; 133 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030614690