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
Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology)
ISBN 13: 9783642224430
Format: Paperback (271 pages) Publisher: Springer Published: 23 Sep 2011
FREE UK DELIVERY 
FREE UK DELIVERY
30 Day Refund Guarantee
