Critical Systems: Formal Methods and Automated Verification

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Bezeichner
ISBN ter Beek, Maurice H. 3319459422
Abmessungen / Gewicht
Hauptmerkmale
ter Beek, Maurice H.