Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
US$ 16.14
Quantity: 1 available
Add to basketCondition: Very Good. Some very light shelfwear to the cover on both sides. Feels unused, ink and pencil inscriptions at front of book. Content clean throughout.
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Condition: New.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Seller: UK BOOKS STORE, London, LONDO, United Kingdom
US$ 72.30
Quantity: Over 20 available
Add to basketCondition: New. Brand New! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.58
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.61
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 65.96
Quantity: 10 available
Add to basketPF. Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.05
Quantity: 10 available
Add to basketPaperback. Condition: New.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 68.60
Quantity: Over 20 available
Add to basketCondition: New.
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642294197 ISBN 13: 9783642294198
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. The papers focus on security and trust policy models; security protocol design and analysis; formal models of trust and reputation; logics for security and trust; distributed trust management systems; trust-based reasoning; digital assets protection; data protection; privacy and ID issues; information flow analysis; language-based security; security and trust aspects of ubiquitous computing; validation/analysis tools; web service security/trust/privacy; grid security; security risk assessment; and case studies. This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 77.33
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 79.15
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 80.91
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 91.25
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 249 pages. 9.00x6.00x0.50 inches. In Stock.
Language: English
Published by Springer-Verlag New York Inc, 2005
ISBN 10: 3540266550 ISBN 13: 9783540266556
Seller: Revaluation Books, Exeter, United Kingdom
US$ 91.63
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 1st edition. 279 pages. 9.50x6.50x1.00 inches. In Stock.
Language: English
Published by Springer-Verlag New York Inc, 2006
ISBN 10: 3540366350 ISBN 13: 9783540366355
Seller: Revaluation Books, Exeter, United Kingdom
US$ 95.35
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 1st edition. 474 pages. 9.00x6.00x1.00 inches. In Stock.
Language: English
Published by Springer Berlin Heidelberg, 2011
ISBN 10: 3642197507 ISBN 13: 9783642197505
Seller: moluna, Greven, Germany
Condition: New.
Language: English
Published by Springer-Verlag New York Inc, 2012
ISBN 10: 3642294197 ISBN 13: 9783642294198
Seller: Revaluation Books, Exeter, United Kingdom
US$ 115.35
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. revised edition. 289 pages. 9.10x6.00x0.80 inches. In Stock.
Condition: New.
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Language: English
Published by Springer Berlin Heidelberg, 2005
ISBN 10: 3540266550 ISBN 13: 9783540266556
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Program Synthesis and Transf- mation. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The workshop is open to contributions in logic-based program development in any language paradigm. This year, LOPSTR put extra emphasis on the eld of veri cation by incorporating the VCL (Veri cation in Computational Logic) workshop. LOPSTR 2004 took place in Verona, Italy, and was co-located with the - ternational Static Analysis Symposium (SAS 2004), the ACM SIGPLAN 2004 Workshop on Partial Evaluation and Semantics Based Program Manipulation (PEPM 2004), and the 6th ACM-SIGPLAN International Conference on Pr- ciples and Practice of Declarative Programming (PPDP 2004). Past workshops were held in Manchester (UK), Louvain-la-Neuve (Belgium), Pisa(Italy),Arnhem(theNetherlands),Stockholm(Sweden),Leuven(Belgium), Venice (Italy), London (UK), Paphos (Cyprus), Madrid (Spain) and Uppsala (Sweden). Since 1994 the proceedings have beenpublished in the Springer LNCS series. We received 23 full paper submissions (1 from Australia, 3 from the US, 4 1 from Asia, 3 from Africa, 11 from Europe , and one Spain US cooperation), and 11 extended abstract submissions (1 from Israel, 1 from Africa, one US Spain 2 cooperation,andtheotherswerefromEurope ).Weacceptedforpresentation11 full papers and 8 extended abstracts. This volume contains a selection consisting of the 11 full papers and of the full version of 6 of the extended abstracts.