Search Books

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

edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.

IOS Press

Formal logical methods for sys... 手動新增

edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.

IOS Press

Logics and languages for relia... 手動新增

edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg.

IOS Press

Languages: from formal to natu... 手動新增

edited by Orna Grumberg ... [et al.].

Springer Berlin Heidelberg

International humanitarian law... 手動新增

edited by Orna Ben-Naftali.

Oxford University Press

Classical and new paradigms of... 手動新增

edited by Benedikt Lowe, Boris Piwinger and Thoralf Rasch.

Kluwer Academic Publishers