搜尋書籍

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

edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg.

IOS Press

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

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

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

Springer Berlin Heidelberg

Tools and algorithms for the c... 手動新增

edited by Javier Esparza, Rupak Majumdar.

Springer-Verlag Berlin Heidelberg

International humanitarian law... 手動新增

edited by Orna Ben-Naftali.

Oxford University Press