008 |
|
880926s1989 ng a b 100 0 eng d |
015 |
|
|a88029139
|
020 |
|
|a0444871268
|
035 |
|
|a88029139
|
040 |
|
|aTMUE|beng|cTMUE|dTMUE
|
050 |
14
|
|aQA76.6|bI545 1988
|
082 |
04
|
|a005.1|219
|
245 |
10
|
|aFormal description techniques : |bproceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988 / |cedited by Kenneth J. Turner
|
260 |
|
|aAmsterdam [Netherlands] ; |aNew York : |bNorth-Holland ; |aNew York, N.Y., U.S.A : |bsole distributors for the U.S.A. and Canada, Elsevier Science Pub, |c1989
|
300 |
|
|axvii, 351 p : |bill ; |c25 cm
|
500 |
|
|a"Organised by University of Stirling, Scotland"--Facing t.p
|
504 |
|
|aIncludes bibliographical references
|
650 |
0
|
|aElectronic digital computers|xProgramming|xCongresses
|
650 |
0
|
|aFormal languages|xCongresses
|
700 |
1
|
|aTurner Kenneth J
|
710 |
2
|
|aUniversity of Stirling
|