Sasse Ralf (12 results)
- Softcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Fine
Original price: £ 5.2410% offCurrent price: £ 4.72
£ 5.26 shippingShips from France to U.S.A.Quantity: 1 available
Softcover. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2017. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2017. Ammareal gives back up to 15% of this item's net price to charity organizations. …
- Hardcover
Seller: Antiquariat Lang, Rennerod, GermanyAntiquariat Lang
Contact seller4-star sellerCondition: Used
£ 3.88
£ 12.55 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basketIn: Rowohlt Literaturmagazin No. 46, 1. Aufl. 2001. Illustr. OPbd. 223 S. mit einigen Textabb. - 22,5 x 13,5. * Sehr gut erhalten und ungelesen .
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 58.79
£ 1.98 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 61.23
£ 1.98 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 60.96
£ 2.25 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 74.02
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 295 pages. 9.25x6.10x9.21 inches. In Stock.
- Hardcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 88.33
£ 2.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
Language: German
Published by Frankfurt, Peter Lang,, 1996
- Softcover
Seller: Buch & Cafe Antiquarius, Bonn, NRW, GermanyBuch & Cafe Antiquarius
Contact seller5-star sellerAssociation member: GIAQ
Condition: Used
£ 31.89
£ 35.14 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basket8°, OBrosch. Dissertation. 195 S. Fundierte und gesuchte Arbeit. Signatur, Stempel auf Titel, Label im Rückendeckel, sonst tadelloses Ex. Sprache: Deutsch Gewicht in Gramm: 0.
- Softcover
Seller: Vulkaneifel Bücher, Birgel, GermanyVulkaneifel Bücher
Contact seller5-star sellerCondition: Used - Fine
£ 4.27
£ 104.09 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. 222 Seiten kleine Lagerspuren am Buch, Inhalt einwandfrei und ungelesen Sprache: Deutsch Gewicht in Gramm: 330 22,4 x 13,8 x 1,6 cm, Taschenbuch.
- Hardcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 60.82
£ 29.28 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks. Tamarin is a robust and powerful analysis tool: it has been under development for over a decade and has reached a state of maturity where it can be applied to model and analyze a wide range of real-world cryptographic protocols. It is now one of the leading tools in this domain, with a wide and active user community spanning both academia and industry.The objective of this book is to help both researchers and practitioners to gain a general understanding of how Formal Methods tools like Tamarin can be used to analyze and improve the quality of real-world protocols. Moreover, we specifically showcase the Tamarin prover and provide guidance on its usage. In this sense, this book provides a user's manual forTamarin. But it goes far beyond that, highlighting Tamarin's underlying theory and its use in modeling and applications.…
- Hardcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 89.10
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand.
- Hardcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 90.53
£ 8.33 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.
