|
|
|
|
| LEADER |
01185nam a2200289 a 4500 |
| 001 |
1990791 |
| 005 |
20171111235929.0 |
| 008 |
920921s1993 gr r 000 0 eng d |
| 020 |
|
|
|a 0471934550
|
| 040 |
|
|
|a GR-ChTUC
|b gre
|
| 050 |
|
|
|a QA76.6
|b .U848 1993
|
| 082 |
|
0 |
|2 20
|a 004.6
|
| 245 |
1 |
0 |
|a Using formal description techniques:
|b an introduction to Estelle,LOTOS, and SDL/
|c edited by Kenneth J. Turner
|
| 260 |
1 |
0 |
|a Chichester [England]
|b Wiley,
|c c1993
|a New York:
|
| 300 |
1 |
0 |
|a xxviii, 431 p. :
|b ill. ;
|c 24 cm
|
| 490 |
0 |
0 |
|a Wiley series in communication and distributed systems
|
| 504 |
0 |
0 |
|a Includes bibliographical references (p. 409-414) and indexes.
|
| 504 |
0 |
0 |
|a Includes bibliographical references and indexes.
|
| 650 |
1 |
0 |
|a Computer programming
|
| 650 |
1 |
0 |
|a Formal languages
|
| 650 |
1 |
0 |
|a Data transmission systems
|
| 650 |
1 |
0 |
|a Electronic data processing
|x Distributed processing
|
| 650 |
1 |
0 |
|a Electronic digital computers
|x Programming
|
| 700 |
1 |
0 |
|a Turner, Kenneth J.
|
| 710 |
1 |
0 |
|a John Wiley & Sons
|
| 952 |
|
|
|a GR-AtNTU
|b 59cc26bb6c5ad13446f97c74
|c 998a
|d 945l
|e 004.6 USI
|t 2
|x m
|z Books
|
| 952 |
|
|
|a CY-NiOUC
|b 5a043e366c5ad14ac1ea3446
|c 998a
|d 945l
|e QA76.6.U848 1993
|t 1
|x m
|z Books
|
