Domain excz.de kaufen?
Wir ziehen mit dem Projekt
excz.de um.
Sind Sie am Kauf der Domain
excz.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain excz.de kaufen?
Guide to Software Verification with Fra, Fachbücher von Nikolai Kosmatov, Julien Signoles, Virgile Prevosto
Der "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
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 Guide-to-Software-Verification
Top-Angebote
Produkte zum Begriff Guide-to-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
-
The Rough Guide to Japan: Travel Guide with eBookThe Rough Guide to Japan: Travel Guide with eBook , This Japan guidebook is perfect for independent travellers planning a longer trip. It features all of the must-see sights and a wide range of off-the-beaten-track places. It also provides detailed practical information on preparing for a trip and what to do on the ground. And this Japan travel guidebook is printed on paper from responsible sources, and verified to meet the FSC's strict environmental and social standards. This Japan guidebook covers: Tokyo (and around); Northern Honshu; Hokkaido; Central Honshu; Kyoto and Nara; Kansai; Western Honshu; Shikoku; Kyushu; Okinawa. Inside this Japan travel book, you'll find: - A wide range of sights - Rough Guides experts have hand-picked places for travellers with different needs and desires: off-the-beaten-track adventures, family activities or chilled-out breaks - Itinerary examples - created for different time frames or types of trip - Practical information - how to get to Japan, all about public transport, food and drink, shopping, travelling with children, sports and outdoor activities, tips for travellers with disabilities and more - Author picks and things not to miss in Japan - Ginkaku-ji Temple and Gardens, Kyoto; Nikko; Mount Fuji; Ryokan; Hiroshima's Peace Memorial Park; Roppongi at Night; Naoshima Island; Hiking the Northern Alps; Yaeyama Islands, Okinawa; Kaiyukan Aquarium - Insider recommendations - tips on how to beat the crowds, save time and money, and find the best local spots - When to go to Japan - high season, low season, climate information and festivals - Where to go - a clear introduction to Japan with key places and a handy overview - Extensive coverage of regions, places and experiences - regional highlights, sights and places for different types of travellers, with experiences matching different needs - Places to eat, drink and stay - hand-picked restaurants, cafes, bars and hotels - Practical info at each site - hours of operation, websites, transit tips, charges - Colour-coded mapping - with keys and legends listing sites categorised as highlights, eating, accommodation, shopping, drinking and nightlife - Background information for connoisseurs - history, culture, art, architecture, film, books, religion, diversity - Essential Japanese dictionary and glossary of local terms - Free download of the eBook - available after purchase of the printed guidebook to Japan - Fully updated post-COVID-19 The guide provides a comprehensive and rich selection of places to see and things to do in Japan, as well as great planning tools. It's the perfect companion, both ahead of your trip and on the ground. , > , Auflage: 9. Auflage, Erscheinungsjahr: 20240201, Produktform: Kartoniert, Titel der Reihe: Rough Guides Main Series##, Autoren: Binks, Tim~Hallett, Rebecca~Zatko, Martin, Redaktion: Guides, Rough, Auflage: 24009, Auflage/Ausgabe: 9. Auflage, Seitenzahl/Blattzahl: 848, Themenüberschrift: TRAVEL / Asia / East / Japan, Keyword: Japan; Japan travel; Japan travel guide; Japan travel guide book; Japan guidebook; Japan guide book; Japan guide; Japan travel guidebook; Japan travel book; rough guide Japan; rough guides Japan; Japan rough guide; Japan rough guides; lonely planet Japan; fodors Japan; frommers Japan; rick steves Japan; Japan tour, Fachschema: Englische Bücher / Reise / Asien~Japan / Reiseführer, Reisebeschreibung, Imprint-Titels: Rough Guides, Warengruppe: HC/Reiseführer/Kunstreiseführer/Asien, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Länge: 199, Breite: 132, Höhe: 37, Gewicht: 676, Produktform: Kartoniert, Genre: Importe,24,01 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Guide-to-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
-
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
-
The Rough Guide to Japan: Travel Guide with eBookThe Rough Guide to Japan: Travel Guide with eBook , This Japan guidebook is perfect for independent travellers planning a longer trip. It features all of the must-see sights and a wide range of off-the-beaten-track places. It also provides detailed practical information on preparing for a trip and what to do on the ground. And this Japan travel guidebook is printed on paper from responsible sources, and verified to meet the FSC's strict environmental and social standards. This Japan guidebook covers: Tokyo (and around); Northern Honshu; Hokkaido; Central Honshu; Kyoto and Nara; Kansai; Western Honshu; Shikoku; Kyushu; Okinawa. Inside this Japan travel book, you'll find: - A wide range of sights - Rough Guides experts have hand-picked places for travellers with different needs and desires: off-the-beaten-track adventures, family activities or chilled-out breaks - Itinerary examples - created for different time frames or types of trip - Practical information - how to get to Japan, all about public transport, food and drink, shopping, travelling with children, sports and outdoor activities, tips for travellers with disabilities and more - Author picks and things not to miss in Japan - Ginkaku-ji Temple and Gardens, Kyoto; Nikko; Mount Fuji; Ryokan; Hiroshima's Peace Memorial Park; Roppongi at Night; Naoshima Island; Hiking the Northern Alps; Yaeyama Islands, Okinawa; Kaiyukan Aquarium - Insider recommendations - tips on how to beat the crowds, save time and money, and find the best local spots - When to go to Japan - high season, low season, climate information and festivals - Where to go - a clear introduction to Japan with key places and a handy overview - Extensive coverage of regions, places and experiences - regional highlights, sights and places for different types of travellers, with experiences matching different needs - Places to eat, drink and stay - hand-picked restaurants, cafes, bars and hotels - Practical info at each site - hours of operation, websites, transit tips, charges - Colour-coded mapping - with keys and legends listing sites categorised as highlights, eating, accommodation, shopping, drinking and nightlife - Background information for connoisseurs - history, culture, art, architecture, film, books, religion, diversity - Essential Japanese dictionary and glossary of local terms - Free download of the eBook - available after purchase of the printed guidebook to Japan - Fully updated post-COVID-19 The guide provides a comprehensive and rich selection of places to see and things to do in Japan, as well as great planning tools. It's the perfect companion, both ahead of your trip and on the ground. , > , Auflage: 9. Auflage, Erscheinungsjahr: 20240201, Produktform: Kartoniert, Titel der Reihe: Rough Guides Main Series##, Autoren: Binks, Tim~Hallett, Rebecca~Zatko, Martin, Redaktion: Guides, Rough, Auflage: 24009, Auflage/Ausgabe: 9. Auflage, Seitenzahl/Blattzahl: 848, Themenüberschrift: TRAVEL / Asia / East / Japan, Keyword: Japan; Japan travel; Japan travel guide; Japan travel guide book; Japan guidebook; Japan guide book; Japan guide; Japan travel guidebook; Japan travel book; rough guide Japan; rough guides Japan; Japan rough guide; Japan rough guides; lonely planet Japan; fodors Japan; frommers Japan; rick steves Japan; Japan tour, Fachschema: Englische Bücher / Reise / Asien~Japan / Reiseführer, Reisebeschreibung, Imprint-Titels: Rough Guides, Warengruppe: HC/Reiseführer/Kunstreiseführer/Asien, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Länge: 199, Breite: 132, Höhe: 37, Gewicht: 676, Produktform: Kartoniert, Genre: Importe,24,01 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Guide-to-Software-Verification
* 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.