Utvidet returrett til 31. januar 2025

Formal Methods – The Next 30 Years

- Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Om Formal Methods – The Next 30 Years

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783030309411
  • Bindende:
  • Paperback
  • Sider:
  • 774
  • Utgitt:
  • 15. september 2019
  • Utgave:
  • 12019
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 1199 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 12. desember 2024

Beskrivelse av Formal Methods – The Next 30 Years

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions.

Brukervurderinger av Formal Methods – The Next 30 Years



Finn lignende bøker
Boken Formal Methods – The Next 30 Years 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.