9 Ebooks by Pierpaolo Degano
Pierpaolo Degano: Programming Languages and Systems
This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.The 25 revised full papers presented together with two i …
PDF
Inggeris
DRM
€57.77
Marco Bernardo & Pierpaolo Degano: Formal Methods for Computational Systems Biology
…
PDF
Inggeris
DRM
€57.10
Pierpaolo Degano & Joshua D. Guttman: Formal Aspects in Security and Trust
The present volume contains the proceedings of the 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008), held in Malaga, Spain, October 9-10, 2008. FAST is an event a?liated …
PDF
Inggeris
DRM
€57.61
Pierpaolo Degano & Luca Vigano: Foundations and Applications of Security Analysis
…
PDF
Inggeris
DRM
€57.66
Pierpaolo Degano & Roberto Gorrieri: Computational Methods in Systems Biology
This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Biology (CMSB 2009), held in Bologna, from August 31 to September 1, 2009. The ?rst CMSB was held in …
PDF
Inggeris
DRM
€115.04
Pierpaolo Degano & Joshua D. Guttman: Formal Aspects in Security and Trust
…
PDF
Inggeris
DRM
€57.06
Pierpaolo Degano & Sandro Etalle: Formal Aspects of Security and Trust
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, held as part of the 8th IEEE International …
PDF
Inggeris
DRM
€57.82
Pierpaolo Degano & Joshua D. Guttman: Principles of Security and Trust
This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS …
PDF
Inggeris
DRM
€56.20
