Maurice H. Ter Beek

Maurice H. Ter Beek

1 ספרים במאגר

ספרים

Critical Systems : Formal Methods and Automated VerificationMaurice H. Ter Beek

Critical Systems : Formal Methods and Automated Verification

Maurice H. Ter Beek · 2016