Using formal description techniques : an introduction to Estelle, LOTOS, and SDL /
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Chichester [England] ; New York :
Wiley,
c1993.
|
| Series: | Wiley series in communication and distributed systems
|
| Subjects: |
CARM 1 Store
| Call Number: |
A1:AR01B0 B10779 |
|---|---|
| Copy 1 | Available Place a Hold |