Springer Numerical Software Verification, Fachbücher

Springer Numerical Software Verification, Fachbücher

Das Buch "Numerical Software Verification" dokumentiert die Proceedings des 10. Internationalen Workshops zur numerischen Softwareverifikation, der im Juli 2017 in Heidelberg, Deutschland, stattfand. Diese Veranstaltung war Teil eines einmaligen, eingeladenen ...

0 Testberichte
  • Marke: Springer
  • EAN: 9783319635002
  • Verfügbarkeit: Lieferbar

Preisspanne: 53,49€ - 53,49€*

Billigster Preis

Deals

  • Shops
  • Beschreibung
  • Testberichte
Preis (inkl. MwSt.)
Händler
Lieferstatus
Shop
53,49 €* Kostenloser Versand
Lieferbar: 4 Tage
Daten vom 2026-02-22
Änderungen vorbehalten
Zum Shop
53,49 €* Kostenloser Versand
Lieferbar: 3-6 Tage
Daten vom 2026-02-22
Änderungen vorbehalten
Zum Shop
Das Buch "Numerical Software Verification" dokumentiert die Proceedings des 10. Internationalen Workshops zur numerischen Softwareverifikation, der im Juli 2017 in Heidelberg, Deutschland, stattfand. Diese Veranstaltung war Teil eines einmaligen, eingeladenen Events, das auch den Workshop zu formalen Methoden für rigorose Systemtechnik von cyber-physischen Systemen umfasste. In diesem Band sind drei vollständige Beiträge, drei Kurzbeiträge sowie mehrere Abstracts von Keynote-Referenten und eingeladenen Vortragenden enthalten. Alle eingereichten Arbeiten wurden sorgfältig geprüft und ausgewählt, um die neuesten Entwicklungen in der logischen und mathematischen Technik zur Beurteilung der Programmierbarkeit und Zuverlässigkeit von Software zu präsentieren. Das Buch richtet sich an Fachleute und Forscher, die sich mit den Herausforderungen und Lösungen im Bereich der Softwareverifikation ...

10th International Workshop NSV 2017 Heidelberg Germany July 22-23 2017 Proceedings. 1st ed. 2017 Numerical Software Verification / Taschenbuch für 53.49 € / Aus dem Bereich: Hardcover

Naturwissenschaften, Medizin, Informatik, Technik

...
Das Buch "Numerical Software Verification" dokumentiert die Proceedings des 10. Internationalen Workshops zur numerischen Softwareverifikation, der im Juli 2017 in Heidelberg, Deutschland, stattfand. Diese Veranstaltung war Teil eines einmaligen, eingeladenen Events, das auch den Workshop zu formalen Methoden für rigorose Systemtechnik von cyber-physischen Systemen umfasste. In diesem Band sind drei vollständige Beiträge, drei Kurzbeiträge sowie mehrere Abstracts von Keynote-Referenten und eingeladenen Vortragenden enthalten. Alle eingereichten Arbeiten wurden sorgfältig geprüft und ausgewählt, um die neuesten Entwicklungen in der logischen und mathematischen Technik zur Beurteilung der Programmierbarkeit und Zuverlässigkeit von Software zu präsentieren. Das Buch richtet sich an Fachleute und Forscher, die sich mit den Herausforderungen und Lösungen im Bereich der Softwareverifikation ...
Verfassen Sie einen Erfahrungsbericht


Sehr Unzufrieden            Sehr Zufrieden


Ähnliche Produkte

Das könnte Sie auch interessieren.

  • Zurück
  • Vor

Top Kategorien

Durchsuchen Sie unsere Top-Kategorien.

Moderne Überwachungskameras
Moderne Kameras zur Überwachung Ihres Grundstück. Jetzt vergleichen!
Ansehen ›
Smart TVs: Apps und Internet
Riesige Auswahl an Top Smart TVs. Jetzt stöbern & vergleichen!
Ansehen ›
Kreative Haus -& Gartenideen
Tolle Ideen zu Haus und Garten. Alles für ein schönes Zuhause!
Ansehen ›

Copyright © 2009 - 2026 | Preisgenau.de | Alle Rechte vorbehalten

*Preise können sich seit der letzten Aktualisierung erhöht haben. Alle Preise inkl. MwSt.