Udvidet returret til d. 31. januar 2025

Formal Methods for Industrial Critical Systems - Bog

- 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

Bag om Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642045691
  • Indbinding:
  • Paperback
  • Sideantal:
  • 213
  • Udgivet:
  • 19. oktober 2009
  • Udgave:
  • 2009
  • Størrelse:
  • 235x155x13 mm.
  • Vægt:
  • 349 g.
  • 8-11 hverdage.
  • 2. december 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

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

Beskrivelse af Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.

Brugerbedømmelser af Formal Methods for Industrial Critical Systems



Find lignende bøger
Bogen Formal Methods for Industrial 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.