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. Formal Methods – The Next 30 Years

Formal Methods – The Next 30 Years

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

del av Programming and Software Engineering-serien

del av Lecture Notes in Computer Science-serien

Formal Methods – The Next 30 Years
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030309411
  • Format:
  • Häftad
  • Sidor:
  • 774
  • Utgiven:
  • 15. september 2019
  • Utgåva:
  • 12019
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 1199 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 10. december 2024

Beskrivning 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.

Användarnas betyg av Formal Methods – The Next 30 Years



Andra köpte även...
Hitta liknande böcker
Boken Formal Methods – The Next 30 Years 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.