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

- 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. 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 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783319295091
  • Indbinding:
  • Paperback
  • Sideantal:
  • 271
  • Udgivet:
  • 3. februar 2016
  • Udgave:
  • 12016
  • Størrelse:
  • 235x155x15 mm.
  • Vægt:
  • 4336 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 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 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.