Verified Software: Theories, Tools, and Experiments | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Verified Software: Theories, Tools, and Experiments
  • #

Verified Software: Theories, Tools, and Experiments

59.00 EUR 52.94 EUR 10% Off

Ein praxisnahes Sammelsurium aus der VSTTE‑Konferenz, das theoretische Modelle, moderne Tools und experimentelle Studien zur verifizierten Softwareentwicklung präsentiert und Entwicklern tiefere Einblicke in formale Methoden gibt.

Teilen:

Ähnliche Produkte

Verified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools, and Experiments

53.49 EUR
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected ... Notes in Computer Science, Band 9971)

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected ... Notes in Computer Science, Band 9971)

52.94 EUR
Verified Software. Theories Tools and Experiments

Verified Software. Theories Tools and Experiments

52.94 EUR
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science)

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science)

50.97 EUR
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... Notes in Computer Science, Band 10712)

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... Notes in Computer Science, Band 10712)

53.49 EUR
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected ... Notes in Computer Science, 13800, Band 13800)

Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected ... Notes in Computer Science, 13800, Band 13800)

53.49 EUR