Sandro Etalle

Sandro Etalle

5 ספרים במאגר

ספרים

Logic Programming (vol. # 4079)Sandro Etalle

Logic Programming (vol. # 4079)

Sandro Etalle · 2007

Trust ManagementSandro Etalle

Trust Management

Sandro Etalle · 2007

Logic Based Program Synthesis and TransformationSandro Etalle

Logic Based Program Synthesis and Transformation

Sandro Etalle · 2005

Trust Management : Proceedings of IFIPTM 2007Sandro Etalle

Trust Management : Proceedings of IFIPTM 2007

Sandro Etalle · 2010

Logic ProgrammingSandro Etalle

Logic Programming

Sandro Etalle · 2006

ספרים משותפים ואוספים

ספרים שבהם Sandro Etalle מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal Aspects of Security and TrustGilles Barthe

Formal Aspects of Security and Trust

Gilles Barthe · 2012