Sell, buy or rent Gilles Barthe textbooks

9783642113185-3642113184-Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Theoretical Computer Science and General Issues)
9783642113185-3642113184-Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Theoretical Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Theoretical Computer Science and General Issues)

by Gilles Barthe, Manuel Hermenegildo
ISBN-13: 9783642113185
ISBN-10: 3642113184
Edition: 2010
Publisher: Springer
Format: Paperback 408 pages
Sell Shop now at Amazon eBook from $16.50
9783540440444-3540440445-Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science, 2395)
9783540440444-3540440445-Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science, 2395)

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science, 2395)

by Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva
ISBN-13: 9783540440444
ISBN-10: 3540440445
Edition: 2002
Publisher: Springer
Format: Paperback 547 pages
Sell Shop now at Amazon eBook from $16.50
9783642038280-364203828X-Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures (Lecture Notes in Computer Science, 5705)
9783642038280-364203828X-Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures (Lecture Notes in Computer Science, 5705)

Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures (Lecture Notes in Computer Science, 5705)

by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
ISBN-13: 9783642038280
ISBN-10: 364203828X
Edition: 2009
Publisher: Springer
Format: Paperback 347 pages
Sell Shop now at Amazon
9783642224430-3642224431-Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6710)
9783642224430-3642224431-Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6710)

Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6710)

by Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner
ISBN-13: 9783642224430
ISBN-10: 3642224431
Edition: 2011
Publisher: Springer
Format: Paperback 281 pages
9783540242871-3540242872-Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... (Lecture Notes in Computer Science, 3362)
9783540242871-3540242872-Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... (Lecture Notes in Computer Science, 3362)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... (Lecture Notes in Computer Science, 3362)

by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
ISBN-13: 9783540242871
ISBN-10: 3540242872
Edition: 2005
Publisher: Springer
Format: Paperback 267 pages
Sell Shop now at Amazon
9783642281655-3642281656-Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings (Lecture Notes in Computer Science, 7159)
9783642281655-3642281656-Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings (Lecture Notes in Computer Science, 7159)

Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings (Lecture Notes in Computer Science, 7159)

by Gilles Barthe, Ben Livshits, Riccardo Scandariato
ISBN-13: 9783642281655
ISBN-10: 3642281656
Edition: 2012
Publisher: Springer
Format: Paperback 163 pages
Sell Shop now at Amazon
9783642294198-3642294197-Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7140)
9783642294198-3642294197-Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7140)

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7140)

by Gilles Barthe, Anupam Datta, Sandro Etalle
ISBN-13: 9783642294198
ISBN-10: 3642294197
Edition: 2012
Publisher: Springer
Format: Paperback 289 pages
Sell Shop now at Amazon eBook from $21.00
9781108488518-110848851X-Foundations of Probabilistic Programming
9781108488518-110848851X-Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
ISBN-13: 9781108488518
ISBN-10: 110848851X
Edition: 1
Publication date: 2021
Publisher: Cambridge University Press
Format: Hardcover 582 pages
Sell Buy from $67.05 eBook from $68.99
9783540336891-3540336893-Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... (Lecture Notes in Computer Science, 3956)
9783540336891-3540336893-Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... (Lecture Notes in Computer Science, 3956)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... (Lecture Notes in Computer Science, 3956)

by Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
ISBN-13: 9783540336891
ISBN-10: 3540336893
Edition: 2006
Publisher: Springer
Format: Paperback 183 pages
Sell Buy from $52.38 eBook from $16.50
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.