|
|
|
|
| LEADER |
01076nam a2200229 a 4500 |
| 001 |
721704 |
| 005 |
20171111231059.0 |
| 008 |
971119s1989----gr r u000 0 Eng d |
| 020 |
|
|
|a 0444871268
|
| 040 |
|
|
|a GR-AtNTU
|b gre
|
| 082 |
|
0 |
|a 005.1
|
| 111 |
2 |
|
|a International Conference on Formal Description Techniques
|c : Stirling, Scotland)
|d : 1988:
|
| 245 |
1 |
0 |
|a Formal description techniques:
|b : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988/
|c / edited by Kenneth J. Turner
|
| 260 |
|
|
|a Amsterdam [Netherlands] :
|b North-Holland
|c 1989
|a ; New York, N.Y., :
|b Elsevier Science Pub.,
|
| 300 |
|
|
|a xvii, 351 p. :
|b : ill. ;
|c ; 25 cm.
|
| 500 |
|
|
|a "Organised by University of Stirling, Scotland"--Facing t.p.
|
| 504 |
|
|
|a Includes bibliographies.
|
| 650 |
1 |
0 |
|a Electronic digital computers
|x - Programming
|x - Congresses
|
| 650 |
1 |
0 |
|a Formal languages
|x - Congresses
|
| 700 |
1 |
|
|a Turner, Kenneth J.
|
| 710 |
0 |
|
|a University of Stirling
|
| 952 |
|
|
|a GR-AtNTU
|b 59cc22f06c5ad13446f8e7c7
|c 998a
|d 945l
|e 005.1
|t 1
|x m
|z Books
|
