Search Books

Software and systems safety : ... 手動新增

edited by Manfred Broy, Christian Leuxner and Tony Hoare.

IOS Press

Engineering methods and tools ... 手動新增

edited by Manfred Broy, Wassiou Sitou and Tony Hoare.

IOS Press

Software system reliability an... 手動新增

edited by Manfred Broy, Johannes Gr鋎nbauer and Tony Hoare.

IOS Press

Engineering dependable softwar... 手動新增

proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems ; edited by Manfred Broy, Technische Universitat Munchen, Germany, Doron Peled, Bar Ilan University, Ramat Gan, Israel, and Georg Kalus, Technishe Universitat Munc

IOS Press : published in cooperation with NATO Emerging Security Challenges Division

Engineering Theories of Softwa... 手動新增

edited by Manfred Broy ... [et al.].

Springer

Model-Based Testing of Reactiv... 手動新增

edited by Manfred Broy ... [et al.].

Springer-Verlag GmbH.