Markedets billigste bøger
Gratis fragt fra 599,- kr
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og 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

indgår i Communications in Computer and Information Science serien

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

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783030129873
  • Indbinding:
  • Paperback
  • Sideantal:
  • 179
  • Udgivet:
  • 2. februar 2019
  • Udgave:
  • 12019
  • Størrelse:
  • 155x235x0 mm.
  • Vægt:
  • 454 g.
Leveringstid: 8-11 hverdage
Forventet levering: 16. december 2024
Forlænget returret til d. 31. januar 2025

Beskrivelse af 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.

Brugerbedømmelser af Formal Techniques for Safety-Critical Systems



Andre købte også..
Find lignende bøger
Bogen Formal Techniques for Safety-Critical Systems findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.