Hoppa till sidans huvudinnehåll

Luca Viganò - Böcker

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

Labelled Deduction

AvMarcello D'Agostino,Dov M. Gabbay m. fl.

Inbunden, Engelska, 2000

1 379 kr

Skickas inom 10-15 vardagar

Labelled Non-Classical Logics

AvLuca Viganò

Inbunden, Engelska, 2000

2 019 kr

Skickas inom 10-15 vardagar

Labelled Non-Classical Logics

AvLuca Viganò

Häftad, Engelska, 2010

2 019 kr

Skickas inom 10-15 vardagar

Socio-Technical Aspects in Security and Trust

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

AvThomas Groß,Luca Viganò m. fl.

Häftad, Engelska, 2021

859 kr

Skickas inom 10-15 vardagar

Socio-Technical Aspects in Security

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

AvSimon Parkin,Luca Viganò m. fl.

Häftad, Engelska, 2022

979 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ò m. fl.

Häftad, Engelska, 2009

719 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

659 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ò m. fl.

Häftad, Engelska, 2016

719 kr

Skickas inom 10-15 vardagar

Labelled Deduction

AvDavid Basin,M. D'Agostino m. fl.

Häftad, Engelska, 2012

1 379 kr

Skickas inom 10-15 vardagar