Idioma: Francés
Publicado por Éditions universitaires européennes, 2015
ISBN 10: 3841672469 ISBN 13: 9783841672469
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 36,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Francés
Publicado por Éditions universitaires européennes, 2015
ISBN 10: 3841672469 ISBN 13: 9783841672469
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 36,74
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Francés
Publicado por Éditions universitaires européennes, 2015
ISBN 10: 3841672469 ISBN 13: 9783841672469
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 35,62
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 32,69
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Idioma: Francés
Publicado por Éditions universitaires européennes, 2015
ISBN 10: 3841672469 ISBN 13: 9783841672469
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 35,61
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Francés
Publicado por Éditions universitaires européennes, 2015
ISBN 10: 3841672469 ISBN 13: 9783841672469
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 40,29
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Francés
Publicado por Éditions universitaires européennes, 2015
ISBN 10: 3841672469 ISBN 13: 9783841672469
Librería: moluna, Greven, Alemania
EUR 31,27
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Francés
Publicado por Éditions universitaires européennes, 2015
ISBN 10: 3841672469 ISBN 13: 9783841672469
Librería: preigu, Osnabrück, Alemania
EUR 33,20
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Processus concurrents et systèmes parallèles- Aspects Pratiques | Leila Benarous | Taschenbuch | 72 S. | Französisch | 2015 | Éditions universitaires européennes | EAN 9783841672469 | Verantwortliche Person für die EU: OmniScriptum GmbH & Co. KG, Bahnhofstr. 28, 66111 Saarbrücken, info[at]akademikerverlag[dot]de | Anbieter: preigu.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 38,72
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 36,73
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Idioma: Francés
Publicado por Éditions Universitaires Européennes Sep 2015, 2015
ISBN 10: 3841672469 ISBN 13: 9783841672469
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 35,90
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -L'exigence d'avoir des systèmes concurrents fiables impose à tout concepteur (de tels systèmes) d'adopter une démarche rigoureuse de la première étape de conception jusqu'à sa réalisation finale. Les travaux réalisés dans cet ouvrage concernent essentiellement la modélisation et la simulation des systèmes concurrents et répartis. Ainsi ces aspects ont nécessité l'apprentissage du langage Promela et l'utilisation de l'outil logiciel associé à savoir le simulateur SPIN. Les applications réalisées ont concerné plusieurs aspects étudiés durant notre cursus mais de manière théorique. Les applications ont été étendues aux systèmes repartis et plus particulièrement les algorithmes d'élection. De plus, un intérêt a été porté à l'aspect vérification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d'application, nous avons modélisé et validé le protocole KERBEROS lequel est un protocole d'authentification. 72 pp. Französisch.
Idioma: Francés
Publicado por Éditions universitaires européennes, 2015
ISBN 10: 3841672469 ISBN 13: 9783841672469
Librería: Majestic Books, Hounslow, Reino Unido
EUR 64,29
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 72.
Idioma: Francés
Publicado por Éditions universitaires européennes, 2015
ISBN 10: 3841672469 ISBN 13: 9783841672469
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 70,28
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 72.
Idioma: Francés
Publicado por Éditions universitaires européennes, 2015
ISBN 10: 3841672469 ISBN 13: 9783841672469
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 65,35
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 72.
Idioma: Francés
Publicado por Éditions Universitaires Européennes Sep 2015, 2015
ISBN 10: 3841672469 ISBN 13: 9783841672469
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 35,90
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -L¿exigence d¿avoir des systèmes concurrents fiables impose à tout concepteur (de tels systèmes) d¿adopter une démarche rigoureuse de la première étape de conception jusqüà sa réalisation finale. Les travaux réalisés dans cet ouvrage concernent essentiellement la modélisation et la simulation des systèmes concurrents et répartis. Ainsi ces aspects ont nécessité l¿apprentissage du langage Promela et l¿utilisation de l¿outil logiciel associé à savoir le simulateur SPIN. Les applications réalisées ont concerné plusieurs aspects étudiés durant notre cursus mais de manière théorique. Les applications ont été étendues aux systèmes repartis et plus particulièrement les algorithmes d¿élection. De plus, un intérêt a été porté à l¿aspect vérification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d¿application, nous avons modélisé et validé le protocole KERBEROS lequel est un protocole d¿authentification.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 72 pp. Französisch.
Idioma: Francés
Publicado por Éditions Universitaires Européennes, 2015
ISBN 10: 3841672469 ISBN 13: 9783841672469
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 35,90
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - L'exigence d'avoir des systèmes concurrents fiables impose à tout concepteur (de tels systèmes) d'adopter une démarche rigoureuse de la première étape de conception jusqu'à sa réalisation finale. Les travaux réalisés dans cet ouvrage concernent essentiellement la modélisation et la simulation des systèmes concurrents et répartis. Ainsi ces aspects ont nécessité l'apprentissage du langage Promela et l'utilisation de l'outil logiciel associé à savoir le simulateur SPIN. Les applications réalisées ont concerné plusieurs aspects étudiés durant notre cursus mais de manière théorique. Les applications ont été étendues aux systèmes repartis et plus particulièrement les algorithmes d'élection. De plus, un intérêt a été porté à l'aspect vérification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d'application, nous avons modélisé et validé le protocole KERBEROS lequel est un protocole d'authentification.