Search Books

Concurrency, Graphs and Models... 手動新增

edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer.

Springer-Verlag Berlin Heidelberg

Formal aspects in security and... 手動新增

edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli.

Springer Berlin Heidelberg

Formal aspects of security and... 手動新增

edited by Pierpaolo Degano, Sandro Etalle, Joshua Guttman.

Springer Berlin Heidelberg

Principles of security and tru... 手動新增

edited by Pierpaolo Degano, Joshua D. Guttman.

Springer Berlin Heidelberg

Algebraic Methodology and Soft... 手動新增

edited by Jose Meseguer, Grigore Rosu.

Springer-Verlag Berlin Heidelberg

Trustworthy Global Computing ... 手動新增

edited by Rocco De Nicola, Davide Sangiorgi.

Springer-Verlag GmbH.