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

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

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

Dataarkitektur og logisk design Kunstig intelligens Operativsystemer 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 29-10-2020
Første udgivelsesår 2020
Serie Lecture Notes in Computer Science
Illustrationer 110 Illustrations, color; 2317 Illustrations, black and white
Fagredaktør Tiziana Margaria, Bernhard Steffen
Originalsprog Switzerland
Sideantal 582
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 582 pages, 110 Illustrations, color; 2317 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030613617