搜尋書籍

Construction and Analysis of S... 手動新增

edited by Gilles Barthe ... [et al.].

Springer-Verlag GmbH.

Engineering secure software an... 手動新增

edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato.

Springer Berlin Heidelberg

Programming languages and syst... 手動新增

edited by Gilles Barthe.

Springer Berlin Heidelberg

Trustworthy Global Computing :... 手動新增

edited by Gilles Barthe, Cedric Fournet.

Springer-Verlag Berlin Heidelberg

Verification, model checking, ... 手動新增

edited by Gilles Barthe, Manuel Hermenegildo.

Springer-Verlag Berlin Heidelberg

Automated reasoning : 4th Inte... 手動新增

edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek.

Springer-Verlag Berlin Heidelberg