An edition of Programming Languages and Systems
(2003)
Programming Languages and Systems
12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice ... (Lecture Notes in Computer Science)
1 edition
by Pierpaolo Degano
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice ... (Lecture Notes in Computer Science)
May 7, 2003, Springer
Paperback
in English
- 1 edition
3540008861 9783540008866
|
aaaa
Libraries near you:
WorldCat
|
2
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
2003, Springer London, Limited
in English
3540365753 9783540365754
|
zzzz
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Most of the existing approaches to applying formal methods to cryptographic protocol analysis stem ultimately from that of Dolev and Yao [9], who developed for the first formalization of the intruder model that is commonly used today."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| July 28, 2014 | Edited by ImportBot | import new book |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 11, 2009 | Created by WorkBot | add works page |