Μετάβαση στο περιεχόμενο
  • Γλώσσα
    • 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
    • اللغة العربية
Σύνθετη
  • Using formal description techn...
  • Περιγραφή
  • Εμφάνιση παραπομπής
  • Αποστολή με SMS
  • Αποστολή με email
  • Αποθήκευση
    • Αποθήκευση σε RefWorks
    • Αποθήκευση σε EndNoteWeb
    • Αποθήκευση σε EndNote
Εξώφυλλο

Using formal description techniques : an introduction to Estelle,LOTOS, and SDL /

Άλλοι συγγραφείς: Turner, Kenneth J.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Chichester [England] New York : Wiley, c1993
Σειρά:Wiley series in communication and distributed systems
Θέματα:
Computer programming
Formal languages
Data transmission systems
Electronic data processing > Distributed processing
Electronic digital computers > Programming
  • Τεκμήρια
  • Περιγραφή
  • Παρόμοια τεκμήρια
  • Λεπτομερής προβολή

Παρόμοια τεκμήρια

  • Formal description techniques : : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988 /
    Έκδοση: (1989)
  • The formal description technique Lotos : : results of the ESPRIT/SEDOS project /
    Έκδοση: (1989)
  • The Formal description technique Estelle : results of the ESPRIT/SEDOS Project /
    Έκδοση: (1989)
  • Formal methods for embedded distributed systems : how to master the complexity /
    Έκδοση: (2004)
  • Telecommunications systems engineering using SDL /
    ανά: Saracco, Roberto
    Έκδοση: (1989)

Επιλογές αναζήτησης

  • Ιστορικό αναζητήσεων
  • Σύνθετη αναζήτηση

Βρείτε περισσότερα

  • Περιήγηση στον κατάλογο
  • Περιήγηση αλφαβητικά

Χρειάζεστε βοήθεια;

  • Συμβουλές αναζήτησης
  • Ερώτηση σε βιβλιοθηκονόμο
Φορτώνει......
Cannot write session to /tmp/vufind_sessions/sess_cftuh39iactther8l7hjv6kki2