Preisvergleich / Wohnen / Büro / Runtime Verification, Fachbücher

Runtime Verification, Fachbücher

53,49 €

Variante

Runtime Verification, Fachbücher

Das Buch "Runtime Verification" bietet eine umfassende Analyse und Diskussion über die Anwendung von Runtime-Verifikationsmethoden in der Softwareentwicklung. Es basiert auf den Erkenntnissen und Ergebnissen der RV-Workshops, die Forscher aus der akademischen und industriellen Welt zusammenbringen, um die Möglichkeiten der leichten formalen Verifikation während der Programmausführung zu erforschen. Diese Methoden ergänzen die traditionellen, ressourcenintensiven formalen Verfahren, indem sie es ermöglichen, Software in Echtzeit zu testen und zu überwachen. Das Buch enthält Beiträge von Experten, die verschiedene Aspekte der Runtime-Verifikation beleuchten, einschliesslich der Instrumentierung von Code zur Fehlererkennung und -vermeidung. Die gesammelten Arbeiten und Vorträge bieten wertvolle Einblicke in die aktuellen Entwicklungen und Herausforderungen in diesem Bereich.

Deine Shops für beste Deals

Logo - Galaxus

Galaxus

26 Punkte
% Best Deal

53,49 €

zum Shop
Versandkostenfrei | Lieferzeit: 2-4 Werktage

Ähnliche Produkte

Lectures on Runtime Verification, Fachbücher

Lectures on Runtime Verification, Fachbücher

1 Angebot

69,54 €

Post-Silicon and Runtime Verification for Modern Processors, Fachbücher

Post-Silicon and Runtime Verification for Modern Processors, Fachbücher

1 Angebot

160,49 €

Sarfaz Khurshid (u. A.) | Runtime Verification | Taschenbuch |

Sarfaz Khurshid (u. A.) | Runtime Verification | Taschenbuch |

1 Angebot

48,95 €

Simplifying Runtime Verification Of Distributed Programs Ameliorating

Simplifying Runtime Verification Of Distributed Programs Ameliorating

1 Angebot

49,00 €

Runtime Verification Third International Conference, Rv 2012,

Runtime Verification Third International Conference, Rv 2012,

1 Angebot

53,49 €

Dana Fisman (u. A.) | Runtime Verification | Taschenbuch | Englisch

Dana Fisman (u. A.) | Runtime Verification | Taschenbuch | Englisch

1 Angebot

72,95 €

Runtime Verification 20th International Conference, Rv 2020, Los

Runtime Verification 20th International Conference, Rv 2020, Los

1 Angebot

53,49 €

Scott A. Smolka (u. A.) | Runtime Verification | Taschenbuch |

Scott A. Smolka (u. A.) | Runtime Verification | Taschenbuch |

1 Angebot

49,95 €

Runtime Verification 4th International Conference, Rv 2013, Rennes,

Runtime Verification 4th International Conference, Rv 2013, Rennes,

1 Angebot

53,49 €

Rupak Majumdar (u. A.) | Runtime Verification | Taschenbuch | Englisch

Rupak Majumdar (u. A.) | Runtime Verification | Taschenbuch | Englisch

1 Angebot

49,95 €

Mohamed Khalefa Sarrab | Runtime Verification Of Information Flow |

Mohamed Khalefa Sarrab | Runtime Verification Of Information Flow |

1 Angebot

67,95 €

Runtime Verification 19th International Conference, Rv 2019, Porto,

Runtime Verification 19th International Conference, Rv 2019, Porto,

1 Angebot

69,54 €

Giles Reger (u. A.) | Runtime Verification | Taschenbuch | Englisch

Giles Reger (u. A.) | Runtime Verification | Taschenbuch | Englisch

1 Angebot

49,95 €

Runtime Verification | Dejan Ni¿kovi¿ (u. A.) | Taschenbuch |

Runtime Verification | Dejan Ni¿kovi¿ (u. A.) | Taschenbuch |

1 Angebot

55,95 €

Runtime Verification 16th International Conference, Rv 2016, Madrid,

Runtime Verification 16th International Conference, Rv 2016, Madrid,

1 Angebot

53,49 €

Produktinfos

Informationen

Lieferzeit:2-4 Werktage
Hersteller:Springer