Tell your friends about this item:
Formal Aspects in Security and Trust: 6th International Workshop, Fast 2009, Eindhoven, the Netherlands, November 5-6, 2009, Revised Selected Papers - Lecture Notes in Computer Science / Security and Cryptology Pierpaolo Degano
Formal Aspects in Security and Trust: 6th International Workshop, Fast 2009, Eindhoven, the Netherlands, November 5-6, 2009, Revised Selected Papers - Lecture Notes in Computer Science / Security and Cryptology
Pierpaolo Degano
Constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Formal Aspects in Security and Trust, FAST 2009, held under the auspices of IFIP WG 1.7 in Eindhoven, The Netherlands, in November 2009 as an event of the Formal Methods Week, FMweek 2009.
289 pages, 46 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | April 20, 2010 |
| ISBN13 | 9783642124587 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 279 |
| Dimensions | 155 × 234 × 15 mm · 439 g |
| Language | German |
| Editor | Degano, Pierpaolo |
| Editor | Guttman, Joshua D. |