Neu Abbildung von Dutle / Humphrey | NASA Formal Methods | 1. Auflage | 2025 | beck-shop.de
eBook

Dutle / Humphrey / Titolo

Erschienen: 07.06.2025

NASA Formal Methods

17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

Springer Nature Switzerland

ISBN 978-3-031-93706-4

Zur Nachauflage
Zur Vorauflage

Standardpreis

128,39 €

sofort lieferbar!

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als Buch (Softcover) für 139,09 €

Bibliografische Daten

eBook. PDF

2025

Umfang: 442 S.

Verlag: Springer Nature Switzerland

ISBN: 978-3-031-93706-4

Weiterführende bibliografische Daten

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science

auch verfügbar als Buch (Softcover) für 139,09 €

Autorinnen und Autoren

Produktsicherheit

Derzeit sind keine Informationen zur Produktsicherheit verfügbar. Wir arbeiten daran, diese Informationen in naher Zukunft für Sie bereitzustellen.

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Rezensionen

Dieses Set enthält folgende Produkte:
    Auch in folgendem Set erhältlich:

      • Grafik Warenkorb In den Warenkorb Grafik 4-Wochen-Test für beck-online 4-Wochen-Test bestellen

      Grafik MerklisteAuf die Merkliste Nachricht, wenn verfügbar
      nach oben
      X

      Das Passwort muss mind. 8 Zeichen enthalten.
      (Darin sollte mind. ein Groß- und ein Kleinbuchstabe und mind. eine Ziffer enthalten sein.)

      Schließen

      Ihre Daten werden geladen ...