Domain antik-elektronik.de kaufen?
Wir ziehen mit dem Projekt
antik-elektronik.de um.
Sind Sie am Kauf der Domain
antik-elektronik.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain antik-elektronik.de kaufen?
Antik-Globus (PAL 30 10)
Antik-Globus (PAL 30 10) , PAL3010 Leuchtglobus, 30 cm Durchmesser, Antikdesign-Kartografie, aktuelle Karte, Metallmeridian messingfarben mit Skalierung, dunkelbrauner Holzfuß, goldfarbenes Kabel mit Schnurschalter 1,50 m Länge, Gesamthöhe 40 cm , Server-Kabel & -Adapter > Server, Clients & Terminals , Erscheinungsjahr: 200301, Produktform: Globus, Beilage: Mit kirschbaumfarbenem Holzfuß, goldfarbenem Metallmeridian., Titel der Reihe: Alter Globus##, Fachschema: Globus, Fachkategorie: Reisen und Urlaub, Warengruppe: NB/Globen, Fachkategorie: Atlanten und Weltkarten, Text Sprache: ger, UNSPSC: 49059000, Warenverzeichnis für die Außenhandelsstatistik: 49059000, Sender’s product category: NONBO, Verlag: Raethgloben 1917 Verlags, Verlag: Raethgloben 1917 Verlags, Verlag: Rthgloben 1917 Verlags GmbH, Produktverfügbarkeit: 02, Länge: 310, Breite: 300, Höhe: 250, Gewicht: 1630, Produktform: Globus, Genre: Spiele, PBS, Genre: Spiele, PBS, Herkunftsland: ITALIEN (IT), Katalog: deutschsprachige Titel, Katalog: Gesamtkatalog, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0040, Tendenz: -1, Unterkatalog: AK, Unterkatalog: Lagerartikel,
79,00 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56016676)
Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56016676)
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Verification
Top-Angebote
Produkte zum Begriff Verification:
-
Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56895301)Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56895301)90,94 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Springer Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56158485)
Springer Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56158485)
90,94 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Runtime Verification, Fachbücher von Bettina Könighofer, Hazem Torfah
Das Fachbuch "Runtime Verification" präsentiert die sorgfältig ausgewählten Beiträge der 25. Internationalen Konferenz zu Runtime Verification, die in Graz, Österreich, stattfand. Es umfasst 22 reguläre Beiträge, einen Kurzbeitrag, zwei Tool-Papiere und einen Tutorial-Beitrag, die aus 64 Einreichungen ausgewählt wurden. Das Buch bietet einen tiefgehenden Einblick in formale Methoden zur Überwachung, Analyse und Steuerung des Laufzeitverhaltens von Software- und Hardwaresystemen. Die vorgestellten Techniken zur Laufzeitverifikation sind von zentraler Bedeutung, um die Korrektheit, Zuverlässigkeit und Robustheit von Systemen sicherzustellen. Sie ergänzen herkömmliche Testverfahren und bieten oft eine praktikablere Alternative zur vollständigen formalen Verifikation. Das Buch richtet sich an Fachleute und Wissenschaftler im Bereich Technik und IT, die an der Weiterentwicklung und Anwendung von Überwachungsmethoden interessiert sind. Es liefert fundierte theoretische Grundlagen sowie praxisnahe Ansätze, die zur Verbesserung der Systemqualität beitragen. Die Inhalte sind in englischer Sprache verfasst und bieten einen umfassenden Überblick über aktuelle Entwicklungen und Herausforderungen in diesem Fachgebiet.
70,61 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Verification:
-
Antik-Globus (PAL 30 10)Antik-Globus (PAL 30 10) , PAL3010 Leuchtglobus, 30 cm Durchmesser, Antikdesign-Kartografie, aktuelle Karte, Metallmeridian messingfarben mit Skalierung, dunkelbrauner Holzfuß, goldfarbenes Kabel mit Schnurschalter 1,50 m Länge, Gesamthöhe 40 cm , Server-Kabel & -Adapter > Server, Clients & Terminals , Erscheinungsjahr: 200301, Produktform: Globus, Beilage: Mit kirschbaumfarbenem Holzfuß, goldfarbenem Metallmeridian., Titel der Reihe: Alter Globus##, Fachschema: Globus, Fachkategorie: Reisen und Urlaub, Warengruppe: NB/Globen, Fachkategorie: Atlanten und Weltkarten, Text Sprache: ger, UNSPSC: 49059000, Warenverzeichnis für die Außenhandelsstatistik: 49059000, Sender’s product category: NONBO, Verlag: Raethgloben 1917 Verlags, Verlag: Raethgloben 1917 Verlags, Verlag: Rthgloben 1917 Verlags GmbH, Produktverfügbarkeit: 02, Länge: 310, Breite: 300, Höhe: 250, Gewicht: 1630, Produktform: Globus, Genre: Spiele, PBS, Genre: Spiele, PBS, Herkunftsland: ITALIEN (IT), Katalog: deutschsprachige Titel, Katalog: Gesamtkatalog, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0040, Tendenz: -1, Unterkatalog: AK, Unterkatalog: Lagerartikel,79,00 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56016676)Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56016676)53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Verification
-
Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56895301)Springer Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56895301)90,94 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56158485)Springer Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (56158485)90,94 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Runtime Verification, Fachbücher von Bettina Könighofer, Hazem TorfahDas Fachbuch "Runtime Verification" präsentiert die sorgfältig ausgewählten Beiträge der 25. Internationalen Konferenz zu Runtime Verification, die in Graz, Österreich, stattfand. Es umfasst 22 reguläre Beiträge, einen Kurzbeitrag, zwei Tool-Papiere und einen Tutorial-Beitrag, die aus 64 Einreichungen ausgewählt wurden. Das Buch bietet einen tiefgehenden Einblick in formale Methoden zur Überwachung, Analyse und Steuerung des Laufzeitverhaltens von Software- und Hardwaresystemen. Die vorgestellten Techniken zur Laufzeitverifikation sind von zentraler Bedeutung, um die Korrektheit, Zuverlässigkeit und Robustheit von Systemen sicherzustellen. Sie ergänzen herkömmliche Testverfahren und bieten oft eine praktikablere Alternative zur vollständigen formalen Verifikation. Das Buch richtet sich an Fachleute und Wissenschaftler im Bereich Technik und IT, die an der Weiterentwicklung und Anwendung von Überwachungsmethoden interessiert sind. Es liefert fundierte theoretische Grundlagen sowie praxisnahe Ansätze, die zur Verbesserung der Systemqualität beitragen. Die Inhalte sind in englischer Sprache verfasst und bieten einen umfassenden Überblick über aktuelle Entwicklungen und Herausforderungen in diesem Fachgebiet.70,61 €*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.