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. FM 2016: Formal Methods

FM 2016: Formal Methods

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

del av Lecture Notes in Computer Science-serien

del av Programming and Software Engineering-serien

FM 2016: Formal Methods
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319489889
  • Format:
  • Häftad
  • Sidor:
  • 789
  • Utgiven:
  • 8 November 2016
  • Utgåva:
  • 12016
  • Mått:
  • 155x235x41 mm.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 24 Oktober 2024

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

Användarnas betyg av FM 2016: Formal Methods



Andra köpte även...
Hitta liknande böcker
Boken FM 2016: Formal Methods 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.