Using formal description techniques : an introduction to Estelle,LOTOS, and SDL /
Άλλοι συγγραφείς: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Chichester [England] New York :
Wiley,
c1993
|
Σειρά: | Wiley series in communication and distributed systems
|
Θέματα: |