Luca Viganò – författare
Visar alla böcker från författaren Luca Viganò. Handla med fri frakt och snabb leverans.
16 produkter
Labelled Deduction
Av Marcello D'Agostino, Dov M. Gabbay m. fl.
Inbunden, 2000
1093 kr
Lägg i varukorg
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, …
Labelled Non-Classical Logics
Av Luca Viganò
Inbunden, 2000
1636 kr
Lägg i varukorg
I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, …
Labelled Non-Classical Logics
Av Luca Viganò
Häftad, 2010
1636 kr
Lägg i varukorg
I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, …
Labelled Non-Classical Logics
Av Luca Vigano
E-bok, 2013
2065 kr
Lägg i varukorg
I am very happy to have this opportunity to introduce Luca Vigano''s book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium''90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, …
Socio-Technical Aspects in Security and Trust
10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers
Häftad, 2021
678 kr
Lägg i varukorg
This book constitutes the refereed post-conference proceedings of the 10th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2020, held as a virtual event, in September 2020.The 8 full papers and 3 short papers presented in this volume were carefully reviewed and …
Socio-Technical Aspects in Security and Trust
10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers
E-bok, 2021
923 kr
Lägg i varukorg
This book constitutes the refereed post-conference proceedings of the 10th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2020, held as a virtual event, in September 2020. The 8 full papers and 3 short papers presented in this volume were carefully reviewed and …
Socio-Technical Aspects in Security
11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers
Häftad, 2022
790 kr
Lägg i varukorg
This book constitutes revised selected papers from the refereed conference proceedings of the 11th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2021, held in conjunction with ESORICS, the European Symposium on Research in Computer Security, as a virtual event, in …
Socio-Technical Aspects in Security
11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers
E-bok, 2022
1007 kr
Lägg i varukorg
This book constitutes revised selected papers from the refereed conference proceedings of the 11th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2021, held in conjunction with ESORICS, the European Symposium on Research in Computer Security, as a virtual event, in …
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
566 kr
Lägg i varukorg
The Joint Workshop on "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security" (ARSPA-WITS 2009) was held in York, UK, March 28-29, 2009, in association with ETAPS 2009. ARSPA is a series of workshops on "Automated Reasoning for Security P- tocol Analysis," bringing …
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 Luca Vigano, Pierpaolo Degano
E-bok, 2009
734 kr
Lägg i varukorg
Tests and Proofs
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Häftad, 2013
522 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and …
Tests and Proofs
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
E-bok, 2013
705 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and …
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
566 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 12 full papers …
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 Luca Vigano, Frank Piessens
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 12 full papers …
Labelled Deduction
Av David Basin, M. D'Agostino m. fl.
Häftad, 2012
1093 kr
Lägg i varukorg
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, …
Labelled Deduction
Av Luca Vigano, Sean Matthews m. fl.
E-bok, 2012
1413 kr
Lägg i varukorg
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, …
