Black Week: Spar op til 90% Spar op til 90% på et kæmpe udvalg af gode bøger
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

- 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, 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 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783319539454
  • Indbinding:
  • Paperback
  • Sideantal:
  • 161
  • Udgivet:
  • 16. februar 2017
  • Udgave:
  • 12017
  • Størrelse:
  • 235x155x10 mm.
  • Vægt:
  • 2759 g.
  • 8-11 hverdage.
  • 13. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

  • BLACK WEEK

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 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 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.