登入選單
Google圖書搜尋
Formal Analysis and Verication of Self-Healing Sys...
作者
Hartmut Ehrig / Claudia Ermel / Olga Runge / Antonio Bucchiarone / Patrizio Pelliccione
出版2020
ISBN
OCLC:1199719799
Charmy
作者
Patrizio Pelliccione
出版2005
ISBN
OCLC:1045835115