Utvidet returrett til 31. januar 2025

Formal Methods and Software Engineering

- 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Om Formal Methods and Software Engineering

The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783319686899
  • Bindende:
  • Paperback
  • Sider:
  • 498
  • Utgitt:
  • 14. oktober 2017
  • Utgave:
  • 12017
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 7723 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 12. desember 2024

Beskrivelse av Formal Methods and Software Engineering

The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

Brukervurderinger av Formal Methods and Software Engineering



Finn lignende bøker
Boken Formal Methods and Software Engineering 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.