Udvidet returret til d. 31. januar 2025

Formal Methods and Software Engineering - Bog

- 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Bag om Formal Methods and Software Engineering

This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010. The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642169007
  • Indbinding:
  • Paperback
  • Sideantal:
  • 712
  • Udgivet:
  • 27. oktober 2010
  • Størrelse:
  • 234x155x28 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 and Software Engineering

This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010. The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions.

Brugerbedømmelser af Formal Methods and Software Engineering



Find lignende bøger
Bogen Formal Methods and Software Engineering 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.