Marknadens största urval
Snabb leverans

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

Om Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030613617
  • Format:
  • Häftad
  • Sidor:
  • 582
  • Utgiven:
  • 29 Oktober 2020
  • Utgåva:
  • 12020
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 920 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 29 Oktober 2024

Beskrivning av Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

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.

Användarnas betyg av Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles



Hitta liknande böcker
Boken Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.