Utvidet returrett til 31. januar 2025

FM 2016: Formal Methods

- 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Om FM 2016: Formal Methods

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783319489889
  • Bindende:
  • Paperback
  • Sider:
  • 789
  • Utgitt:
  • 8. november 2016
  • Utgave:
  • 12016
  • Dimensjoner:
  • 155x235x41 mm.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 12. desember 2024

Beskrivelse av FM 2016: Formal Methods

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions.

Brukervurderinger av FM 2016: Formal Methods



Finn lignende bøker
Boken FM 2016: Formal Methods 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.