Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0
Zur Startseite gehen
Zur Startseite gehen
0,00 €*

Zu "Verifikation" wurden 54 Produkte gefunden

Filter
HOME
Software-Fehlertoleranz und -Zuverlässigkeit
Software-Fehlertoleranz und -Zuverlässigkeit
54,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Quelle: Internet
Quelle: Internet
54,00 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verhaltensentscheidung für automatisierte Fahrzeuge mittels Arbitrationsgraphen
Verhaltensentscheidung für automatisierte Fahrzeuge mittels Arbitrationsgraphen
43,00 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verläßliche Informationssysteme
Verläßliche Informationssysteme
54,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Mathematics of Program Construction
Mathematics of Program Construction
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Speichereffizienter Aufbau von binären Entscheidungsdiagrammen
Speichereffizienter Aufbau von binären Entscheidungsdiagrammen
59,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Termination Proofs for Logic Programs
Termination Proofs for Logic Programs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
PEARL 92
PEARL 92
54,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Baltic Computer Science
Baltic Computer Science
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
54,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Maschinelles Lernen und Wissensbasierte Systeme
Maschinelles Lernen und Wissensbasierte Systeme
54,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Modellbildung, Wissensrevision und Wissensrepräsentation im Maschinellen Lernen
Modellbildung, Wissensrevision und Wissensrepräsentation im Maschinellen Lernen
54,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Strukturbasierte Verifikation von BPMN-Modellen
Strukturbasierte Verifikation von BPMN-Modellen
69,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
GWAI-85
GWAI-85
54,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Bewegungssteuerung durch Rechnersehen
Bewegungssteuerung durch Rechnersehen
54,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Programmverifikation
Programmverifikation
29,95 €*
Preise inkl. MwSt. zzgl. Versandkosten
Rewriting Techniques and Applications
Rewriting Techniques and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
82,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Testen, Analysieren und Verifizieren von Software
Testen, Analysieren und Verifizieren von Software
54,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Softwaretechnik für verteilte Systeme
Softwaretechnik für verteilte Systeme
54,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Mehr als nur Programmieren…
Mehr als nur Programmieren…
54,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Komplexitätstheorie
Komplexitätstheorie
64,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diskrete Simulation
Diskrete Simulation
49,95 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automatic Verification Methods for Finite State Systems
Automatic Verification Methods for Finite State Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...