Formal Methods and Software Engineering | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Formal Methods and Software Engineering
  • #

Formal Methods and Software Engineering

53.49 EUR

Dieses Buch sammelt die Beiträge der ICFEM‑2017-Konferenz, die in Xi’an stattfand, und beleuchtet aktuelle Techniken der formalen Methoden zur Softwareverifikation; ein wertvoller Leitfaden für Entwickler und Forscher.

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

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

Software Engineering and Formal Methods

74.89 EUR
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

79.17 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