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 Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

- 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

del av Communications in Computer and Information Science-serien

Formal Techniques for Safety-Critical Systems
Om Formal Techniques for Safety-Critical Systems

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030129873
  • Format:
  • Häftad
  • Sidor:
  • 179
  • Utgiven:
  • 2. februari 2019
  • Utgåva:
  • 12019
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 454 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 18. december 2024

Beskrivning av Formal Techniques for Safety-Critical Systems

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions.

Användarnas betyg av Formal Techniques for Safety-Critical Systems



Andra köpte även...
Hitta liknande böcker
Boken Formal Techniques for Safety-Critical Systems 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.