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

Critical Systems : Formal Methods and Automated Verification

Name: Critical Systems : Formal Methods and Automated Verification
ISBN: 9783319459424

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

פרטי הספר

מקור הנתונים: Wikidata