Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)
by
ISBN 13: 9783540710653
Format: Paperback (321 pages) Publisher: Springer Published: 30 Jul 2008
Save for later
Network Security Technologies: Design and Applications (Advances in Information Security, Privacy, and Ethics)
by Abdelmalek Amine,Otmane Ait Mohamed,Boualem Benatallah
ISBN 13: 9781466647893
Format: Illustrated (361 pages) Publisher: IGI Global Published: 30 Apr 2014
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
