Luca Viganò – författare

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

9 produkter

Kategorier

9 produkter

Labelled Deduction
AvMarcello D'Agostino,Dov M. Gabbaym. fl.
Inbunden, Engelska, 2000
1 409 kr
Skickas inom 10-15 vardagar
Labelled Non-Classical Logics
AvLuca Viganò
Inbunden, Engelska, 2000
2 109 kr
Skickas inom 10-15 vardagar
Labelled Non-Classical Logics
AvLuca Viganò
Häftad, Engelska, 2010
2 109 kr
Skickas inom 10-15 vardagar
Del 12812
Del 12812 - Lecture Notes in Computer Science
Socio-Technical Aspects in Security and Trust
10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers
AvThomas Groß,Luca Viganò
Häftad, Engelska, 2021
879 kr
Skickas inom 10-15 vardagar
Del 13176
Del 13176 - Lecture Notes in Computer Science
Socio-Technical Aspects in Security
11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers
AvSimon Parkin,Luca Viganò
Häftad, Engelska, 2022
1 019 kr
Skickas inom 10-15 vardagar
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
AvPierpaolo Degano,Luca Viganò
Häftad, Engelska, 2009
729 kr
Skickas inom 10-15 vardagar
Tests and Proofs
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
AvMargus Veanes,Luca Vigano
Häftad, Engelska, 2013
679 kr
Skickas inom 10-15 vardagar
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
AvFrank Piessens,Luca Viganò
Häftad, Engelska, 2016
729 kr
Skickas inom 10-15 vardagar
Del 17
Del 17 - Applied Logic Series
Labelled Deduction
AvDavid Basin,M. D'Agostinom. fl.
Häftad, Engelska, 2012
1 409 kr
Skickas inom 10-15 vardagar