Ralf Sasse (12 results)
- Softcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Fine
Original price: US$ 7.0210% offCurrent price: US$ 6.32
US$ 7.05 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
US$ 5.20
US$ 16.81 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
US$ 76.18
US$ 2.64 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
US$ 79.35
US$ 2.64 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
US$ 79.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 102.32
US$ 16.79 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
US$ 114.47
US$ 3.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
US$ 42.71
US$ 47.07 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
US$ 5.72
US$ 139.41 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
US$ 81.46
US$ 39.22 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
US$ 115.47
US$ 8.73 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
US$ 121.26
US$ 11.15 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.
