| 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
|
借閱次數
: 
點閱：217
評分：0
評論：0
引用：0
