Ralf sasse (12 resultados)
- Tapa blanda
Librería: Ammareal, Morangis, FranciaAmmareal
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
OportunidadPrecio actual: EUR 5,48
Envío por EUR 6,29Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponible
Softcover. Condición: 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. …
- Tapa dura
Librería: Antiquariat Lang, Rennerod, AlemaniaAntiquariat Lang
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 4,50
Envío por EUR 15,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoIn: Rowohlt Literaturmagazin No. 46, 1. Aufl. 2001. Illustr. OPbd. 223 S. mit einigen Textabb. - 22,5 x 13,5. * Sehr gut erhalten und ungelesen .
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 70,44
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,36
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,04
Envío por EUR 2,69Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 90,87
Envío por EUR 14,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 295 pages. 9.25x6.10x9.21 inches. In Stock.
- Tapa dura
Librería: Books Puddle, Woodside, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 105,83
Envío por EUR 3,58Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.
Idioma: Alemán
Editorial: Frankfurt, Peter Lang,, 1996
- Tapa blanda
Librería: Buch & Cafe Antiquarius, Bonn, NRW, AlemaniaBuch & Cafe Antiquarius
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: GIAQ
Condición: Usado
EUR 37,00
Envío por EUR 42,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carrito8°, 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.
- Tapa blanda
Librería: Vulkaneifel Bücher, Birgel, AlemaniaVulkaneifel Bücher
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 4,95
Envío por EUR 124,40Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: 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.
- Tapa dura
- Impresión bajo demanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 70,57
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Buch. Condición: 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.…
- Tapa dura
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 106,75
Envío por EUR 7,79Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand.
- Tapa dura
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 105,05
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND.
