Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

- 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

del av Theoretical Computer Science and General Issues-serien

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Om Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

The four-volume set LNCS 12476 - 12479 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:
  • 9783030837228
  • Format:
  • Häftad
  • Sidor:
  • 265
  • Utgiven:
  • 5 Augusti 2021
  • Utgåva:
  • 12021
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 433 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 29 Oktober 2024

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

The four-volume set LNCS 12476 - 12479 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: Tools and Trends



Andra köpte även...
Hitta liknande böcker
Boken Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 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.