Utvidet returrett til 31. januar 2025

Leveraging Applications of Formal Methods, Verification and Validation

- 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Om Leveraging Applications of Formal Methods, Verification and Validation

Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783642340314
  • Bindende:
  • Paperback
  • Sider:
  • 361
  • Utgitt:
  • 11. september 2012
  • Utgave:
  • 2012
  • Dimensjoner:
  • 155x235x19 mm.
  • Vekt:
  • 581 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

Beskrivelse av Leveraging Applications of Formal Methods, Verification and Validation

Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.

Brukervurderinger av Leveraging Applications of Formal Methods, Verification and Validation



Finn lignende bøker
Boken Leveraging Applications of Formal Methods, Verification and Validation finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.