Cavalcanti, Ana

Vis mig kun

Critical Systems: Formal Methods and Automated Verification

Critical Systems: Formal Methods and Automated Verification

Cavalcanti, Ana

436,85 DKK

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Cavalcanti, Ana

875,33 DKK