Domain software-experience.de kaufen?
Wir ziehen mit dem Projekt
software-experience.de um.
Sind Sie am Kauf der Domain
software-experience.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain software-experience.de kaufen?
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software, Taschenbuch von Stefan Huster, Eberhard Karls Universität
Kombination Dynamischer Und Formaler Methoden Zur Verifikation Objektorientierter Software, Taschenbuch Von Stefan Huster, Eberhard Karls Universität Tübingen Tübingen Library Publishing, 978-3-946552-37-6, Seitenanzahl: 234
28,90 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Verifikation
Top-Angebote
Produkte zum Begriff Verifikation:
-
Synthese kapazitätsoptimierter Antennensysteme mit messtechnischer Verifikation, Taschenbuch von Tobias Mahler, KIT Scientific Publishing,Synthese Kapazitätsoptimierter Antennensysteme Mit Messtechnischer Verifikation, Taschenbuch Von Tobias Mahler, Kit Scientific Publishing, 978-3-7315-0737-6, Seitenanzahl: 22841,00 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Sommer, Frank: Shell-ProgrammierungShell-Programmierung , Das umfassende Handbuch. Für Bourne-, Korn- und Bourne-Again-Shell (bash). Ideal für alle UNIX-Admins (Linux, macOS) , Radlager > Sportfederung , Auflage: 7. Auflage, Erscheinungsjahr: 20220609, Produktform: Leinen, Titel der Reihe: Rheinwerk Computing##, Autoren: Sommer, Frank~Kania, Stefan~Wolf, Jürgen, Edition: REV, Auflage: 22007, Auflage/Ausgabe: 7. Auflage, Seitenzahl/Blattzahl: 868, Themenüberschrift: COMPUTERS / System Administration / Linux & UNIX Administration, Keyword: Terminal; grep; awk; sed; Programmieren; Entwickeln; Reguläre Ausdrücke regular expressions; Ubuntu; Arch Gentoo; Shell-Scripting; Kommandozeile; Scripte Skripte; Hand-Buch lernen Wissen Tipps Kurse Grundlagen Tutorials Workshops; LPIC; Automatisierung; Bash; Linux; UNIX, Fachschema: Betriebssystem (EDV)~Operating System~EDV / Theorie / Allgemeines~Informatik~Linux / Programmierung~Programmiersprachen~Shell (EDV)~Unix / Programmierung~Betriebssystem (EDV) / Linux~Linux~Unix / Linux, Fachkategorie: Systemadministration, Sprache: Deutsch, Warengruppe: HC/Betriebssysteme/Benutzeroberflächen, Fachkategorie: Linux, Thema: Verstehen, Text Sprache: ger, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Rheinwerk Verlag GmbH, Verlag: Rheinwerk Verlag GmbH, Verlag: Rheinwerk Verlag GmbH, Länge: 246, Breite: 181, Höhe: 54, Gewicht: 1722, Produktform: Gebunden, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Vorgänger: 2674210, Vorgänger EAN: 9783836263467 9783836240871 9783836223102 9783836216500 9783836211574, Herkunftsland: DEUTSCHLAND (DE), Katalog: deutschsprachige Titel, Katalog: Gesamtkatalog, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0080, Tendenz: -1, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel, WolkenId: 5378344,90 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
KIT Scientific Publishing Synthese kapazitätsoptimierter Antennensysteme mit messtechnischer Verifikation (Deutsch, Softcover, Tobias Mahler) (55977945)KIT Scientific Publishing Synthese kapazitätsoptimierter Antennensysteme mit messtechnischer Verifikation (Deutsch, Softcover, Tobias Mahler) (55977945)41,00 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Konzeption, Realisierung und Verifikation eines automobilen Forschungsscheinwerfers auf Basis von Digitalprojektoren, Taschenbuch von Steffen
Konzeption, Realisierung Und Verifikation Eines Automobilen Forschungsscheinwerfers Auf Basis Von Digitalprojektoren, Taschenbuch Von Steffen Michenfelder, Kit Scientific Publishing, 978-3-7315-0301-9, Seitenanzahl: 242
42,00 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Pacholik, A: Verifikation von ausführbaren Systemspezifikati, Taschenbuch von Alexander Pacholik, Südwestdeutscher Verlag für Hochschulschriften,
Pacholik, A: Verifikation Von Ausführbaren Systemspezifikati, Taschenbuch Von Alexander Pacholik, Südwestdeutscher Verlag Für Hochschulschriften, 978-3-8381-2192-5, Seitenanzahl: 236
98,00 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Verifikation:
-
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software, Taschenbuch von Stefan Huster, Eberhard Karls UniversitätKombination Dynamischer Und Formaler Methoden Zur Verifikation Objektorientierter Software, Taschenbuch Von Stefan Huster, Eberhard Karls Universität Tübingen Tübingen Library Publishing, 978-3-946552-37-6, Seitenanzahl: 23428,90 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Synthese kapazitätsoptimierter Antennensysteme mit messtechnischer Verifikation, Taschenbuch von Tobias Mahler, KIT Scientific Publishing,Synthese Kapazitätsoptimierter Antennensysteme Mit Messtechnischer Verifikation, Taschenbuch Von Tobias Mahler, Kit Scientific Publishing, 978-3-7315-0737-6, Seitenanzahl: 22841,00 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Sommer, Frank: Shell-ProgrammierungShell-Programmierung , Das umfassende Handbuch. Für Bourne-, Korn- und Bourne-Again-Shell (bash). Ideal für alle UNIX-Admins (Linux, macOS) , Radlager > Sportfederung , Auflage: 7. Auflage, Erscheinungsjahr: 20220609, Produktform: Leinen, Titel der Reihe: Rheinwerk Computing##, Autoren: Sommer, Frank~Kania, Stefan~Wolf, Jürgen, Edition: REV, Auflage: 22007, Auflage/Ausgabe: 7. Auflage, Seitenzahl/Blattzahl: 868, Themenüberschrift: COMPUTERS / System Administration / Linux & UNIX Administration, Keyword: Terminal; grep; awk; sed; Programmieren; Entwickeln; Reguläre Ausdrücke regular expressions; Ubuntu; Arch Gentoo; Shell-Scripting; Kommandozeile; Scripte Skripte; Hand-Buch lernen Wissen Tipps Kurse Grundlagen Tutorials Workshops; LPIC; Automatisierung; Bash; Linux; UNIX, Fachschema: Betriebssystem (EDV)~Operating System~EDV / Theorie / Allgemeines~Informatik~Linux / Programmierung~Programmiersprachen~Shell (EDV)~Unix / Programmierung~Betriebssystem (EDV) / Linux~Linux~Unix / Linux, Fachkategorie: Systemadministration, Sprache: Deutsch, Warengruppe: HC/Betriebssysteme/Benutzeroberflächen, Fachkategorie: Linux, Thema: Verstehen, Text Sprache: ger, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Rheinwerk Verlag GmbH, Verlag: Rheinwerk Verlag GmbH, Verlag: Rheinwerk Verlag GmbH, Länge: 246, Breite: 181, Höhe: 54, Gewicht: 1722, Produktform: Gebunden, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Vorgänger: 2674210, Vorgänger EAN: 9783836263467 9783836240871 9783836223102 9783836216500 9783836211574, Herkunftsland: DEUTSCHLAND (DE), Katalog: deutschsprachige Titel, Katalog: Gesamtkatalog, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0080, Tendenz: -1, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel, WolkenId: 5378344,90 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Verifikation
-
KIT Scientific Publishing Synthese kapazitätsoptimierter Antennensysteme mit messtechnischer Verifikation (Deutsch, Softcover, Tobias Mahler) (55977945)KIT Scientific Publishing Synthese kapazitätsoptimierter Antennensysteme mit messtechnischer Verifikation (Deutsch, Softcover, Tobias Mahler) (55977945)41,00 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Konzeption, Realisierung und Verifikation eines automobilen Forschungsscheinwerfers auf Basis von Digitalprojektoren, Taschenbuch von SteffenKonzeption, Realisierung Und Verifikation Eines Automobilen Forschungsscheinwerfers Auf Basis Von Digitalprojektoren, Taschenbuch Von Steffen Michenfelder, Kit Scientific Publishing, 978-3-7315-0301-9, Seitenanzahl: 24242,00 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Pacholik, A: Verifikation von ausführbaren Systemspezifikati, Taschenbuch von Alexander Pacholik, Südwestdeutscher Verlag für Hochschulschriften,Pacholik, A: Verifikation Von Ausführbaren Systemspezifikati, Taschenbuch Von Alexander Pacholik, Südwestdeutscher Verlag Für Hochschulschriften, 978-3-8381-2192-5, Seitenanzahl: 23698,00 €*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.