Udvidet returret til d. 31. januar 2025

Integrated Formal Methods - Bog

- 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Bag om Integrated Formal Methods

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540732099
  • Indbinding:
  • Paperback
  • Sideantal:
  • 662
  • Udgivet:
  • 22. juni 2007
  • Udgave:
  • 2007
  • Størrelse:
  • 234x156x34 mm.
  • Vægt:
  • 1015 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 Integrated Formal Methods

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

Brugerbedømmelser af Integrated Formal Methods



Find lignende bøger
Bogen Integrated 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.