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
Monahan, Rosemary / Maurice H. Ter Beek (Hrsg.). Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7¿10, 2022, Proceedings. Springer International Publishing, 2022.
eng

Integrated Formal Methods

17th International Conference, IFM 2022, Lugano, Switzerland, June 7¿10, 2022, Proceedings
  • Springer International Publishing
  • 2022
  • Taschenbuch
  • 392 Seiten
  • ISBN 9783031077265
Herausgeber: Rosemary Monahan / Maurice H. Ter Beek

in Kürze