FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783540682356
Format: Paperback (436 pages) Publisher: Springer Published: 08 May 2008
Save for later
Information Security and Cryptology: 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers: 5487 ... Computer Science / Security and Cryptology)
ISBN 13: 9783642014390
Format: Paperback (439 pages) Publisher: Springer Published: 06 Apr 2009
ECOOP 2009 -- Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642030123
Format: Paperback (631 pages) Publisher: Springer Published: 30 Jun 2009
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers ... Computer Science / Security and Cryptology)
ISBN 13: 9783642124587
Format: Paperback (289 pages) Publisher: Springer Published: 20 Apr 2010