Udvidet returret til d. 31. januar 2025

Formal Methods for Components and Objects - Bog

- 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Bag om Formal Methods for Components and Objects

The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures;

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642252709
  • Indbinding:
  • Paperback
  • Sideantal:
  • 393
  • Udgivet:
  • 12. december 2011
  • Udgave:
  • 2012
  • Størrelse:
  • 235x155x23 mm.
  • Ukendt - mangler pt..

Normalpris

  • BLACK NOVEMBER

Medlemspris

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

Beskrivelse af Formal Methods for Components and Objects

The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures;

Brugerbedømmelser af Formal Methods for Components and Objects



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