Μετάβαση στο περιεχόμενο
Toggle navigation
Γλώσσα
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Επαλήθευση πρωτοκόλλων ασφάλει...
Λεπτομερής προβολή
Εμφάνιση παραπομπής
Αποστολή με SMS
Αποστολή με email
Αποθήκευση
Αποθήκευση σε RefWorks
Αποθήκευση σε EndNoteWeb
Αποθήκευση σε EndNote
Επαλήθευση πρωτοκόλλων ασφάλειας ασυρμάτων δικτύων με χρήση της αλγεβρικής γλώσσας προδιαγραφών CafeOBJ /
Κύριος συγγραφέας:
Μπάρλας, Κωνσταντίνος Δ
Συγγραφή απο Οργανισμό/Αρχή:
Εθνικό Μετσόβιο Πολυτεχνείο (Ελλάδα). Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών
Άλλοι συγγραφείς:
Στεφανέας, Πέτρος Σ
Μορφή:
Βιβλίο
Γλώσσα:
Greek
Τεκμήρια
Περιγραφή
Παρόμοια τεκμήρια
Λεπτομερής προβολή
Παρόμοια τεκμήρια
E-government και πρωτόκολλο ασφαλείας SSL. Μοντελοποίηση με χρήση της αλγεβρικής μεθόδου προδιαγραφών CafeOBJ
ανά: Παναγιάρη, Ειρήνη Ε., κ.ά.
Έκδοση: (1970)
CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification /
ανά: Diaconescu, Razvan
Έκδοση: (1998)
Υλοποίηση της γλώσσας προγραμματισμού ασυρμάτων πρωτοκόλλων Ziria ως DSL ενσωματωμένη στη Haskell
ανά: Βλάσση-Πανδή, Ειρήνη, κ.ά.
Έκδοση: (2015)
Γλώσσες προδιαγραφών και περιγραφής πρωτοκόλλων /
ανά: Αναγνώστου, Μιλτιάδης Ε., 1958-
Έκδοση: (1990)
Σχεδιαμός και ανάπτυξη ασυρμάτων δικτύων /
ανά: Λακαφώσης, Βασίλειος Δ
×
Φορτώνει......