Udvidet returret til d. 31. januar 2025

Software Engineering and Formal Methods - Bog

- SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Bag om Software Engineering and Formal Methods

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems;

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783319747804
  • Indbinding:
  • Paperback
  • Sideantal:
  • 592
  • Udgivet:
  • 3. februar 2018
  • Udgave:
  • 12018
  • Vægt:
  • 914 g.
  • 2-3 uger.
  • 6. december 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

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

Beskrivelse af Software Engineering and Formal Methods

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems;

Brugerbedømmelser af Software Engineering and Formal Methods



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