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

Zu "Programmverifikation" wurden 14 Produkte gefunden

Filter
HOME
Constructive Methods in Computing Science
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Mathematics of Program Construction
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Semantik und Programmverifikation
37,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Partial-Order Methods for the Verification of Concurrent Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Analysis and Verification of Multiple-Agent Languages
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
First-Order Programming Theories
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Programming and Mathematical Method
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
CONCUR '94: Concurrency Theory
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
First-Order Programming Theories
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Programmverifikation
29,95 €*
Preise inkl. MwSt. zzgl. Versandkosten
The Foundations of Program Verification
44,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
The Programming and Proof System ATES
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Programmentwicklung und Verifikation
69,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Semantik von Programmiersprachen
23,00 €*
Preise inkl. MwSt. zzgl. Versandkosten