Udvidet returret til d. 31. januar 2025

Formal Methods and Software Engineering - Bog

- 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

Bag om Formal Methods and Software Engineering

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. They also represent the recent development in the use and development of formal engineering methods for software and system development.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783030634056
  • Indbinding:
  • Paperback
  • Sideantal:
  • 335
  • Udgivet:
  • 19. december 2020
  • Udgave:
  • 12020
  • Størrelse:
  • 155x235x0 mm.
  • Vægt:
  • 539 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 Formal Methods and Software Engineering

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. They also represent the recent development in the use and development of formal engineering methods for software and system development.

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.