Luca Viganò – författare

Visar alla böcker från författaren Luca Viganò.

9 produkter

1. 

   Labelled Deduction

   Av Marcello D'Agostino, Dov M. Gabbay m. fl.

   Inbunden, 2000

   1429 kr

   Lägg i varukorg

2. 

   Labelled Non-Classical Logics

   Av Luca Viganò

   Inbunden, 2000

   2139 kr

   Lägg i varukorg

3. 

   Labelled Non-Classical Logics

   Av Luca Viganò

   Häftad, 2010

   2139 kr

   Lägg i varukorg

4. 

   Socio-Technical Aspects in Security and Trust

   10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers

   Av Thomas Groß, Luca Viganò

   Häftad, 2021

   889 kr

   Lägg i varukorg

5. 

   Socio-Technical Aspects in Security

   11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers

   Av Simon Parkin, Luca Viganò

   Häftad, 2022

   1029 kr

   Lägg i varukorg

6. 

   Foundations and Applications of Security Analysis

   Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

   Av Pierpaolo Degano, Luca Viganò

   Häftad, 2009

   739 kr

   Lägg i varukorg

7. 

   Tests and Proofs

   7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

   Av Margus Veanes, Luca Vigano

   Häftad, 2013

   679 kr

   Lägg i varukorg

8. 

   Principles of Security and Trust

   5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

   Av Frank Piessens, Luca Viganò

   Häftad, 2016

   739 kr

   Lägg i varukorg

9. 

   Labelled Deduction

   Av David Basin, M. D'Agostino m. fl.

   Häftad, 2012

   1429 kr

   Lägg i varukorg