search for books and compare prices
Sandro Etalle has written 5 work(s)
Search for other authors with the same name
displaying 1 to 5 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783642294198 Cover for 9783642197505 Cover for 9780387736549 Cover for 9783540266556
Formal Aspects of Security and Trust: 8th International Workshop, Fast 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
cover image for 9783642294198
Product Description: This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011...read more
By Sandro Etalle (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783642294198 | Revised edition (Springer-Verlag New York Inc, July 1, 2012), cover price $69.99 | About this edition: This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011.

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010 Pisa, Italy, September 16-17, 2010; Revised Selected Papers
cover image for 9783642197505
Product Description: This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, F.A.S.T. 2010, held as part of the 8th I.E.E.E. International Conference on Software Engineering and Formal Methods, S...read more
By Pierpaolo Degano (editor), Sandro Etalle (editor) and Joshua Guttman (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783642197505 | Springer-Verlag New York Inc, April 28, 2011, cover price $89.99 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, F.

Trust Management: Proceedings of IFIOTM 2007, Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30- August 2, 2007, New Brunswick, Canada
cover image for 9780387736549
Product Description: This volume contains the proceedings of the IFIPTM 2007, the Joint iTrust and PST Conferences on Privacy, Trust Management and Security, held in Moncton, New Brunswick, Canada, in 2007. The annual iTrust international conference looks at trust from multidisciplinary perspectives: economic, legal, psychology, philosophy, sociology as well as information technology...read more
By Sandro Etalle (editor) and Stephen Marsh (editor)
See complete details on each edition (1 edition listed)

Hardcover:

9780387736549 | Springer-Verlag New York Inc, July 20, 2007, cover price $159.00 | About this edition: This volume contains the proceedings of the IFIPTM 2007, the Joint iTrust and PST Conferences on Privacy, Trust Management and Security, held in Moncton, New Brunswick, Canada, in 2007.

Logic Programming: 22nd International Conference, Iclp 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings
By Sandro Etalle (editor) and Miroslav Truszczynski (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540366355 | Springer-Verlag New York Inc, September 15, 2006, cover price $129.00

Logic Based Program Synthesis And Transformation: 14th International Symposium, Lopstr 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
cover image for 9783540266556
Product Description: This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Program Synthesis and Transf- mation. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development...read more
By Sandro Etalle (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540266556 | Springer-Verlag New York Inc, August 15, 2005, cover price $99.00 | About this edition: This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Program Synthesis and Transf- mation.

displaying 1 to 5 | at end