Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
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 - Bog

- 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.
  • 8-11 hverdage.
  • 6. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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.