Επαλήθευση πρωτοκόλλων ασφάλειας ασυρμάτων δικτύων με χρήση της αλγεβρικής γλώσσας προδιαγραφών CafeOBJ /

Κύριος συγγραφέας: Μπάρλας, Κωνσταντίνος Δ
Συγγραφή απο Οργανισμό/Αρχή: Εθνικό Μετσόβιο Πολυτεχνείο (Ελλάδα). Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών
Άλλοι συγγραφείς: Στεφανέας, Πέτρος Σ
Μορφή: Βιβλίο
Γλώσσα:Greek