Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
Κύριος συγγραφέας: | |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Άλλοι συγγραφείς: | |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2010
|
Σειρά: | Lecture Notes in Computer Science
5983 |
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/978-3-642-12459-4 |
Φυσική περιγραφή: | v.: digital |
---|---|
ISBN: | 9783642124594 |
ISSN: | 0302-9743 |