Domain drqu.de kaufen?
Wir ziehen mit dem Projekt
drqu.de um.
Sind Sie am Kauf der Domain
drqu.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain drqu.de kaufen?
Dimovski, A: Software Verification Based on Game Semantics a, Taschenbuch von Aleksandar Dimovski, VDM, 978-3-639-16383-4
Dimovski, A: Software Verification Based On Game Semantics A, Taschenbuch Von Aleksandar Dimovski, Vdm, 978-3-639-16383-4, Seitenanzahl: 212
79,99 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Software Verification and Validation, Fachbücher von Steven R. Rakitin
Das Fachbuch "Software Verification and Validation" bietet eine umfassende Analyse der Vor- und Nachteile verschiedener Software-Entwicklungslebenszyklusmodelle. Es erläutert, wann Tests sinnvoll sind und wann alternative, kosteneffizientere Techniken eingesetzt werden sollten. Darüber hinaus wird aufgezeigt, wie Verifikations- und Validierungstechniken (V&V) in Organisationen integriert werden können, die über keine schriftlichen Verfahren verfügen. Das Buch bietet zudem eine detaillierte Erklärung zur Implementierung des Inspektionsprozesses, was es zu einer wertvollen Ressource für Fachleute im Bereich Softwareentwicklung macht. Es richtet sich an Leser, die ein tieferes Verständnis für die Optimierung von Softwaretests und -prozessen erlangen möchten.
59,10 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Dimovski-A-Software-Verification
Top-Angebote
Produkte zum Begriff Dimovski-A-Software-Verification:
-
Software Fault Prevention, Verification, and Validation, Fachbücher von Shaoying LiuDas Fachbuch 'Software Fault Prevention, Verification, and Validation' präsentiert die sorgfältig ausgewählten Beiträge des ersten internationalen Symposiums zu diesem Thema, das in Hiroshima, Japan, stattfand. Die 18 begutachteten Fachbeiträge, ausgewählt aus 39 Einreichungen, bieten einen tiefgehenden Einblick in moderne Ansätze der Softwarefehlerprävention, -verifikation und -validierung. Das Buch beleuchtet den Einsatz formaler Methoden, testbasierter Techniken und KI-gestützter Ansätze, um die Herausforderungen in der Softwareentwicklung zu adressieren. Es richtet sich an Fachleute und Wissenschaftler, die an der Weiterentwicklung und Optimierung von Softwareprüfverfahren interessiert sind. Die Inhalte fördern den Austausch von Ideen und Diskussionen über innovative Methoden und deren Kombinationen, um die Qualität und Zuverlässigkeit von Software zu verbessern. Das Werk bietet somit eine fundierte Grundlage für die Weiterentwicklung von Prüf- und Validierungstechniken in der Softwaretechnik.69,54 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Martin, Robert: Clean Code: A Handbook of Agile Software CraftsmanshipClean Code: A Handbook of Agile Software Craftsmanship , A Handbook of Agile Software Craftsmanship , Federungsset > Sportfederung , Auflage: 1. Auflage, Erscheinungsjahr: 200903, Produktform: Kartoniert, Autoren: Martin, Robert C., Auflage: 08001, Auflage/Ausgabe: 1. Auflage, Seitenzahl/Blattzahl: 464, Abbildungen: illustrations, Themenüberschrift: COMPUTERS / Software Development & Engineering / General, Fachschema: EDV / Theorie / Software-Entw. / Software Engineering~Informatik~EDV / Theorie / Software-Entw. / Testmethoden, Fachkategorie: Informatik, Imprint-Titels: Pearson Professional, Warengruppe: HC/Informatik, Fachkategorie: Softwaretests und Prüfsoftware, Thema: Verstehen, Text Sprache: eng, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Prentice Hall, Verlag: Prentice Hall, Verlag: Pearson Education Limited, Länge: 179, Breite: 233, Höhe: 21, Gewicht: 806, Produktform: Kartoniert, Genre: Importe, Genre: Importe, Herkunftsland: VEREINIGTE STAATEN VON AMERIKA (US), Katalog: LIB_ENBOOK, Katalog: Gesamtkatalog, Katalog: Internationale Lagertitel, Katalog: internationale Titel, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0200, Tendenz: -1, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel, WolkenId: 200813451,10 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Guide to Software Verification with Fra, Fachbücher von Nikolai Kosmatov, Julien Signoles, Virgile PrevostoDer "Guide to Software Verification with Frama-C" ist ein umfassendes Fachbuch, das sich mit der Analyse und Verifikation von C-Programmen befasst. Es richtet sich an Studierende, Forscher und Fachleute, die sich mit der Sicherheit und Zuverlässigkeit moderner Software auseinandersetzen. Das Buch bietet eine detaillierte Einführung in die Frama-C-Plattform, die seit ihrer ersten Veröffentlichung im Jahr 2008 als Open-Source-Toolset für die Softwareverifikation dient. Es behandelt die ACSL-Spezifikationssprache, verschiedene Kernverifikations-Plugins und fortgeschrittene Analysemethoden. Zudem werden erfolgreiche industrielle Anwendungsfälle vorgestellt, in denen Frama-C zur Verifikation kritischer Sicherheits- und Sicherheitsmerkmale eingesetzt wurde. Die praxisorientierte Herangehensweise des Buches ermöglicht es den Lesern, eigene massgeschneiderte Analysen zu entwickeln und die neuesten Techniken der Softwareverifikation zu erlernen.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Dimovski-A-Software-Verification:
-
Dimovski, A: Software Verification Based on Game Semantics a, Taschenbuch von Aleksandar Dimovski, VDM, 978-3-639-16383-4Dimovski, A: Software Verification Based On Game Semantics A, Taschenbuch Von Aleksandar Dimovski, Vdm, 978-3-639-16383-4, Seitenanzahl: 21279,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Software Verification and Validation, Fachbücher von Steven R. RakitinDas Fachbuch "Software Verification and Validation" bietet eine umfassende Analyse der Vor- und Nachteile verschiedener Software-Entwicklungslebenszyklusmodelle. Es erläutert, wann Tests sinnvoll sind und wann alternative, kosteneffizientere Techniken eingesetzt werden sollten. Darüber hinaus wird aufgezeigt, wie Verifikations- und Validierungstechniken (V&V) in Organisationen integriert werden können, die über keine schriftlichen Verfahren verfügen. Das Buch bietet zudem eine detaillierte Erklärung zur Implementierung des Inspektionsprozesses, was es zu einer wertvollen Ressource für Fachleute im Bereich Softwareentwicklung macht. Es richtet sich an Leser, die ein tieferes Verständnis für die Optimierung von Softwaretests und -prozessen erlangen möchten.59,10 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Software Fault Prevention, Verification, and Validation, Fachbücher von Shaoying LiuDas Fachbuch 'Software Fault Prevention, Verification, and Validation' präsentiert die sorgfältig ausgewählten Beiträge des ersten internationalen Symposiums zu diesem Thema, das in Hiroshima, Japan, stattfand. Die 18 begutachteten Fachbeiträge, ausgewählt aus 39 Einreichungen, bieten einen tiefgehenden Einblick in moderne Ansätze der Softwarefehlerprävention, -verifikation und -validierung. Das Buch beleuchtet den Einsatz formaler Methoden, testbasierter Techniken und KI-gestützter Ansätze, um die Herausforderungen in der Softwareentwicklung zu adressieren. Es richtet sich an Fachleute und Wissenschaftler, die an der Weiterentwicklung und Optimierung von Softwareprüfverfahren interessiert sind. Die Inhalte fördern den Austausch von Ideen und Diskussionen über innovative Methoden und deren Kombinationen, um die Qualität und Zuverlässigkeit von Software zu verbessern. Das Werk bietet somit eine fundierte Grundlage für die Weiterentwicklung von Prüf- und Validierungstechniken in der Softwaretechnik.69,54 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Martin, Robert: Clean Code: A Handbook of Agile Software CraftsmanshipClean Code: A Handbook of Agile Software Craftsmanship , A Handbook of Agile Software Craftsmanship , Federungsset > Sportfederung , Auflage: 1. Auflage, Erscheinungsjahr: 200903, Produktform: Kartoniert, Autoren: Martin, Robert C., Auflage: 08001, Auflage/Ausgabe: 1. Auflage, Seitenzahl/Blattzahl: 464, Abbildungen: illustrations, Themenüberschrift: COMPUTERS / Software Development & Engineering / General, Fachschema: EDV / Theorie / Software-Entw. / Software Engineering~Informatik~EDV / Theorie / Software-Entw. / Testmethoden, Fachkategorie: Informatik, Imprint-Titels: Pearson Professional, Warengruppe: HC/Informatik, Fachkategorie: Softwaretests und Prüfsoftware, Thema: Verstehen, Text Sprache: eng, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Prentice Hall, Verlag: Prentice Hall, Verlag: Pearson Education Limited, Länge: 179, Breite: 233, Höhe: 21, Gewicht: 806, Produktform: Kartoniert, Genre: Importe, Genre: Importe, Herkunftsland: VEREINIGTE STAATEN VON AMERIKA (US), Katalog: LIB_ENBOOK, Katalog: Gesamtkatalog, Katalog: Internationale Lagertitel, Katalog: internationale Titel, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0200, Tendenz: -1, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel, WolkenId: 200813451,10 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Dimovski-A-Software-Verification
-
Guide to Software Verification with Fra, Fachbücher von Nikolai Kosmatov, Julien Signoles, Virgile PrevostoDer "Guide to Software Verification with Frama-C" ist ein umfassendes Fachbuch, das sich mit der Analyse und Verifikation von C-Programmen befasst. Es richtet sich an Studierende, Forscher und Fachleute, die sich mit der Sicherheit und Zuverlässigkeit moderner Software auseinandersetzen. Das Buch bietet eine detaillierte Einführung in die Frama-C-Plattform, die seit ihrer ersten Veröffentlichung im Jahr 2008 als Open-Source-Toolset für die Softwareverifikation dient. Es behandelt die ACSL-Spezifikationssprache, verschiedene Kernverifikations-Plugins und fortgeschrittene Analysemethoden. Zudem werden erfolgreiche industrielle Anwendungsfälle vorgestellt, in denen Frama-C zur Verifikation kritischer Sicherheits- und Sicherheitsmerkmale eingesetzt wurde. Die praxisorientierte Herangehensweise des Buches ermöglicht es den Lesern, eigene massgeschneiderte Analysen zu entwickeln und die neuesten Techniken der Softwareverifikation zu erlernen.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.