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

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

(Bog, Paperback / softback, Engelsk)
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
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

Ekspertsystemer og vidensbaserede systemer 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 83 Illustrations, color; 757 Illustrations, black and white
Fagredaktør Tiziana Margaria, Bernhard Steffen
Originalsprog Switzerland
Sideantal 490
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 490 pages, 83 Illustrations, color; 757 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030614669