Book serie: / Книги серии: Lecture Notes in Computer Science 5705 : Security and Cryptology » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 5705 : Security and Cryptology

book Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

pdf

Author: Santiago Escobar Catherine Meadows José Meseguer (auth.) Alessandro Aldini Gilles Barthe Roberto Gorrieri (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

pdf

Author: Santiago Escobar Catherine Meadows José Meseguer (auth.) Alessandro Aldini Gilles Barthe Roberto Gorrieri (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

pdf

Author: Santiago Escobar Catherine Meadows José Meseguer (auth.) Alessandro Aldini Gilles Barthe Roberto Gorrieri (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0