Search Books

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

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

International humanitarian law... 手動新增

edited by Orna Ben-Naftali.

Oxford University Press

Encyclopedia of surface and co... 手動新增

edited by P. Somasundaran.

Taylor & Francis