ISBN 9786131547898 books & textbook
Approche formelle pour la vérification des IDS: Approche formelle pour la vérification des Systèmes de Détection d'Intrusions: Utilisation de TLA+ (Omn.Univ.Europ.) (French Edition)
Editions universitaires europeennes /2010-11-12 Paperback / 148 Pages
isbn-10: 6131547890 / isbn-13: 9786131547898
