|
|
|
|
| LEADER |
01071nam a2200361 4500 |
| 001 |
DLU090084430 |
| 005 |
##20091109 |
| 008 |
##950505s1994 si 001 0 eng d |
| 010 |
# |
# |
|a 95160957
|
| 020 |
# |
# |
|a 9810219229
|
| 035 |
# |
# |
|9 (DLC) 95160957
|
| 035 |
# |
# |
|a (OCoLC)32427091
|
| 040 |
# |
# |
|a CU-S
|c CU-S
|d DLC
|
| 042 |
# |
# |
|a lccopycat
|
| 082 |
# |
# |
|a 005.1
|b AR-A
|
| 100 |
# |
# |
|a Arnold, A.
|q (André,
|d 1945-)
|
| 245 |
# |
# |
|a Construction and analysis of transition systems with MEC /
|c André Arnold, Didier Bégay, Paul Crubillé
|
| 260 |
# |
# |
|a Singapore ;
|a River Edge, NJ :
|b World Scientific,
|c c1994.
|
| 300 |
# |
# |
|a vii, 192 p. :
|b ill. ;
|c 23 cm.
|
| 440 |
# |
# |
|a AMAST series in computing ;
|v vol.
|
| 504 |
# |
# |
|a Includes bibliographical references (p. 187-189) and index.
|
| 700 |
# |
# |
|a Crubillé, Paul.
|
| 700 |
# |
# |
|a Bégay, Didier.
|
| 923 |
# |
# |
|a 12/2009
|
| 992 |
# |
# |
|a 8000
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Đào Thị Thu Huyền
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a SH
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
