Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren
Arceri, Vincenzo / Martina Olliaro et al (Hrsg.). Challenges of Software Verification. Springer Nature Singapore, 2023.
eng

Challenges of Software Verification

  • Springer Nature Singapore
  • 2023
  • Gebunden
  • 280 Seiten
  • ISBN 9789811996009
Herausgeber: Vincenzo Arceri / Martina Olliaro / Pietro Ferrara / Agostino Cortesi

in Kürze