Udvidet returret til d. 31. januar 2025

FM 2014: Formal Methods - Bog

- 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Bag om FM 2014: Formal Methods

The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783319064093
  • Indbinding:
  • Paperback
  • Sideantal:
  • 750
  • Udgivet:
  • 26. marts 2014
  • Udgave:
  • 2014
  • Størrelse:
  • 235x155x39 mm.
  • Vægt:
  • 1157 g.
  • 8-11 hverdage.
  • 2. 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 FM 2014: Formal Methods

The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Brugerbedømmelser af FM 2014: Formal Methods



Find lignende bøger
Bogen FM 2014: Formal Methods 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.