Suchergebnis | georgblendl

HOME

Trees in Algebra and Programming - CAAP '96

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Transformation-Based Reactive Systems Development

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Systems Specification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Algebraic Methodology and Software Technology

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

KORSO: Methods, Languages, and Tools for the Construction of Correct Software

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computer Aided Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

GMM-Fb. 96: MBMV 2020

61,00 €*

Preise inkl. MwSt. zzgl. Versandkosten

ITG-Fb. 309: MBMV 2023

69,00 €*

Preise inkl. MwSt. zzgl. Versandkosten

ITG-Fb. 302: MBMV 2022

48,00 €*

Preise inkl. MwSt. zzgl. Versandkosten

ITG-Fb. 296: MBMV 2021

78,00 €*

Preise inkl. MwSt. zzgl. Versandkosten

ITG-Fb. 314: MBMV 2024

119,00 €*

Preise inkl. MwSt. zzgl. Versandkosten

ITG-Fb. 320: MBMV 2025

104,00 €*

Preise inkl. MwSt. zzgl. Versandkosten

Zu "Formale Verifikation" wurden 12 Produkte gefunden