1. Home
  2. Medien
  3. Bücher
  4. Software Engineering and Formal Methods

Software Engineering and Formal Methods

79.18 EUR

Ein Sammelband der SEFM 2017 Workshops in Trento, der aktuelle Forschung zu Datenmodellierung, formalen Methoden und CPS‑Simulation präsentiert; Beiträge von internationalen Experten im Software Engineering.

Teilen:

Ähnliche Produkte

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings

53.49 EUR

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

53.49 EUR
Formal Methods and Software Engineering

Formal Methods and Software Engineering

53.14 EUR
Software Engineering and Formal Methods: SEFM 2021 Collocated Workshops

Software Engineering and Formal Methods: SEFM 2021 Collocated Workshops - Notes in Computer Science, Band 13230

53.49 EUR
Software Engineering and Formal Methods

Software Engineering and Formal Methods

74.89 EUR
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, ... Notes in Computer Science, Band 12226)

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, ... Notes in Computer Science, Band 12226)

74.34 EUR
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

41.39 EUR
Software Engineering and Formal Methods

Software Engineering and Formal Methods

58.84 EUR