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

59.00 EUR 53.49 EUR 9% Off

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

Formal Methods and Software Engineering

Formal Methods and Software Engineering

53.14 EUR
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: 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

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

78.99 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

59.00 EUR